> 1. I (and my family) seem to be the only ones working on new systems of > logic. This field has been nearly dormant for the last half-century, since ...
Sorry Steve, but I recently defended a PhD thesis just in this field - analysis and development of logical systems. This is one of the main topics in logic in computer science, there are many international conferences about it, and yes - many people study the connections to game theory as well. Sorry to hear that you did not know anyone is doing it - it is a major research topic with many interesting results in the last 5 (and 50 as well) years. Lukasz P.S. For example, you can start with the recent book by Jouko Vaananen on Depencence Logic - this is a good example for the study of new logics connected to games. ------------------------------------------- agi Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: https://www.listbox.com/member/?member_id=8660244&id_secret=106510220-47b225 Powered by Listbox: http://www.listbox.com
