Logic games: Not just tools, but models of interaction

Authors
Johan Van Benthem
University of Amsterdam
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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 61,064
External links
  • This entry has no external links. Add one.

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
  • Only published works are available at libraries.

References found in this work BETA

Situations and Attitudes.Jon Barwise & John Perry - 1981 - Journal of Philosophy 78 (11):668-691.
General Semantics.David K. Lewis - 1970 - Synthese 22 (1-2):18--67.
Situations and Attitudes.Nino B. Cocchiarella - 1983 - Journal of Symbolic Logic 51 (2):470.
Dynamic Logic of Preference Upgrade.Johan van Benthem & Fenrong Liu - 2007 - Journal of Applied Non-Classical Logics 17 (2):157-182.
Dynamic Logic.Lenore D. Zuck & David Harel - 1989 - Journal of Symbolic Logic 54 (4):1480.

View all 23 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Logic Games Are Complete for Game Logics.Johan van Benthem - 2003 - Studia Logica 75 (2):183-203.
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.
Games in Dynamic-Epistemic Logic.Johan van Benthem - unknown
Rational Dynamics and Epistemic Logic in Games.Johan van Benthem - unknown
Determined Game Logic is Complete.Jan van Eijck - unknown
Propositional Logic Card Games.Anthony Shiver - 2013 - Teaching Philosophy 36 (1):51-58.
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.
Abstract Argument Games Via Modal Logic.Davide Grossi - 2013 - Synthese 190 (S1).
Extensive Games as Process Models.Johan van Benthem - 2002 - Journal of Logic, Language and Information 11 (3):289-313.

Analytics

Added to PP index
2010-12-22

Total views
66 ( #158,135 of 2,439,688 )

Recent downloads (6 months)
1 ( #432,499 of 2,439,688 )

How can I increase my downloads?

Downloads

My notes



Home | New books and articles | Bibliographies | Philosophy journals | Discussions | Article Index | About PhilPapers | API | Contact us | Code of conduct

CDP Phiosophy Documentation Center
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation

Page generated Wed Aug 4 17:39:20 2021 on philpapers-web-65948fd446-wp78j
Debug information

cache stats: hit=825, miss=2047, save=
autohandler : 285 ms
called component : 269 ms
entry : 268 ms
entry_basics : 109 ms
entry-header : 92 ms
menu : 89 ms
similar_entries : 79 ms
citations-references : 31 ms
entry_stats : 19 ms
entry-cats : 7 ms
entry-side : 6 ms
entry-links : 6 ms
prepCit : 4 ms
citations-citations : 3 ms
entry_stats_query : 2 ms
get_entry : 2 ms
entry_chapters : 1 ms
save cache object : 1 ms
retrieve cache object : 0 ms
init renderer : 0 ms
entry-profiles : 0 ms
setup : 0 ms
auth : 0 ms
writeLog : 0 ms
stat_db : 0 ms
entry-buttons : 0 ms


pid: 402841