|Abstract||Dov Gabbay is a prolific logician just by himself. But beyond that, he is quite good at making other people investigate the many further things he cares about. As a result, King's College London has become a powerful attractor in our field worldwide. Thus, it is a great pleasure to be an organizer for one of its flagship events: the Augustus de Morgan Workshop of 2005. Benedikt Loewe and I proposed the topic of 'interactive logic' for this occasion, with an emphasis on social software – the logical analysis and design of social procedures – and on games, arguably the formal interactive setting par excellence. This choice reflects current research interests in our logic community at ILLC Amsterdam and beyond. In this broad area of interfaces between logic, computer science, and game theory, this paper is my own attempt at playing Dov. I am, perhaps not telling, but at least asking other people to find out for me what I myself cannot.|
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|Through your library||Only published papers are available at libraries|
Similar books and articles
Johan van Benthem (2003). Logic Games Are Complete for Game Logics. Studia Logica 75 (2):183-203.
Johan Van Benthem (2003). Logic Games Are Complete for Game Logics. Studia Logica 75 (2):183 - 203.
Johan van Benthem, Sujata Ghosh & Fenrong Liu (2008). Modelling Simultaneous Games in Dynamic Logic. Synthese 165 (2):247-268.
Johan Van Benthem, Sujata Ghosh & Fenrong Liu (2008). Modelling Simultaneous Games in Dynamic Logic. Synthese 165 (2):247 - 268.
Pavel Pudlák (2003). Parallel Strategies. Journal of Symbolic Logic 68 (4):1242-1250.
Gabriel Sandu (1993). On the Logic of Informational Independence and its Applications. Journal of Philosophical Logic 22 (1):29 - 60.
Ahti-Veikko Pietarinen (2003). Logic, Language Games and Ludics. Acta Analytica 18 (30/31):89-123.
Johan van Benthem (2002). Extensive Games as Process Models. Journal of Logic, Language and Information 11 (3):289-313.
Ahti-Veikko Pietarinen (2003). Games as Formal Tools Versus Games as Explanations in Logic and Science. Foundations of Science 8 (4):317-364.
Anthony Shiver (2013). Propositional Logic Card Games. Teaching Philosophy 36 (1):51-58.
Johan Van Benthem (2011). Logic in a Social Setting. Episteme 8 (3):227-247.
Added to index2010-12-22
Total downloads2 ( #246,081 of 722,840 )
Recent downloads (6 months)0
How can I increase my downloads?