Logic games: Not just tools, but models of interaction
Abstract
This paper is based on tutorials on 'Logic and Games' at the 7th Asian Logic Conference in Hsi-Tou, Taiwan, 1999, and until 2002 in Siena, Stuttgart, Trento, Udine, and Utrecht. We present logic games as a topic per se, giving models for dynamic interaction between agents. First, we survey some basic logic games. Then we show how their common properties raise general issues of game structure and 'game logics'. Next, we review logic games in the light of general game logic. Finally, we discuss more 'realistic' influences from game theory into logic games, including players' preferences, and imperfect information.Author's Profile
My notes
Similar books and articles
Modelling simultaneous games in dynamic logic.Johan van Benthem, Sujata Ghosh & Fenrong Liu - 2008 - Synthese 165 (2):247-268.
Modelling Simultaneous Games in Dynamic Logic.Johan Van Benthem, Sujata Ghosh & Fenrong Liu - 2008 - Synthese 165 (2):247 - 268.
On the logic of informational independence and its applications.Gabriel Sandu - 1993 - Journal of Philosophical Logic 22 (1):29 - 60.
Game logic is strong enough for parity games.Dietmar Berwanger - 2003 - Studia Logica 75 (2):205 - 219.
Games as formal tools versus games as explanations in logic and science.Ahti-Veikko Pietarinen - 2003 - Foundations of Science 8 (4):317-364.
Extensive games as process models.Johan van Benthem - 2002 - Journal of Logic, Language and Information 11 (3):289-313.
Analytics
Added to PP
2010-12-22
Downloads
66 (#183,007)
6 months
1 (#449,220)
2010-12-22
Downloads
66 (#183,007)
6 months
1 (#449,220)
Historical graph of downloads
Author's Profile
References found in this work
Dynamic logic of preference upgrade.Johan van Benthem & Fenrong Liu - 2007 - Journal of Applied Non-Classical Logics 17 (2):157-182.