Logic and Game Theory
Abstract: Johan van Benthem has highlighted in his work that many questions arising in the analysis of strategic interaction call for logical and computational analysis. These questions lead to both formal and conceptually illuminating answers, in that they contribute to clarifying some of the underlying assumptions behind certain aspects of game-theoretical reasoning. We focus on the insights of a part of the literature at the interface of game theory and mathematical logic that gravitates around van Benthem's work. We discuss the formal questions raised by the perspective consisting in taking games as models for formal languages, in particular modal languages, and how eliminative reasoning processes and solution algorithms can be analyzed logically as epistemic dynamics and discuss the role played by beliefs in game-theoretical analysis and how they should be modeled from a logical point of view. We give many pointers to the literature throughout the paper.
Download InfoIf you experience problems downloading a file, check if you have the proper application to view it first. In case of further problems read the IDEAS help page. Note that these files are not on the IDEAS site. Please be patient as the files may be large.
Bibliographic InfoPaper provided by University of California, Davis, Department of Economics in its series Working Papers with number 136.
Date of creation: 08 May 2013
Date of revision:
Game theory; Modal logic; formal languages; epistemic dynamics; backward induction;
Find related papers by JEL classification:
- C7 - Mathematical and Quantitative Methods - - Game Theory and Bargaining Theory
You can help add them by filling out this form.
For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: (Scott Dyer).
If references are entirely missing, you can add them using this form.