IDEAS home Printed from https://ideas.repec.org/p/cda/wpaper/11.html
   My bibliography  Save this paper

Logic and Game Theory

Author

Listed:
  • Giacomo Bonanno
  • Cédric Dégremont

    (Department of Economics, University of California Davis)

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.

Suggested Citation

  • Giacomo Bonanno & Cédric Dégremont, 2013. "Logic and Game Theory," Working Papers 11, University of California, Davis, Department of Economics.
    • Handle: RePEc:cda:wpaper:11
    as

    Download full text from publisher

    File URL: https://repec.dss.ucdavis.edu/files/DWN9Y2M6pSD6Hr4oorBgSQLg/13-6.pdf
    Download Restriction: no
    ---><---

    Other versions of this item:

    References listed on IDEAS

    as
    1. Bonanno, Giacomo, 1992. "Players' information in extensive games," Mathematical Social Sciences, Elsevier, vol. 24(1), pages 35-48, August.
    2. Battigalli, Pierpaolo & Bonanno, Giacomo, 1999. "Synchronic information, knowledge and common knowledge in extensive games," Research in Economics, Elsevier, vol. 53(1), pages 77-99, March.
    3. Elmes Susan & Reny Philip J., 1994. "On the Strategic Equivalence of Extensive Form Games," Journal of Economic Theory, Elsevier, vol. 62(1), pages 1-23, February.
    4. Lawrence Blume & Adam Brandenburger & Eddie Dekel, 2014. "Lexicographic Probabilities and Choice Under Uncertainty," World Scientific Book Chapters, in: The Language of Game Theory Putting Epistemics into the Mathematics of Games, chapter 6, pages 137-160, World Scientific Publishing Co. Pte. Ltd..
    5. Adam Brandenburger & Amanda Friedenberg & H. Jerome Keisler, 2014. "Admissibility in Games," World Scientific Book Chapters, in: The Language of Game Theory Putting Epistemics into the Mathematics of Games, chapter 7, pages 161-212, World Scientific Publishing Co. Pte. Ltd..
    6. Robert J. Aumann, 1999. "Interactive epistemology I: Knowledge," International Journal of Game Theory, Springer;Game Theory Society, vol. 28(3), pages 263-300.
    7. Johan Van Benthem, 2007. "Erratum: "Rational Dynamics And Epistemic Logic In Games"," International Game Theory Review (IGTR), World Scientific Publishing Co. Pte. Ltd., vol. 9(02), pages 377-409.
    8. Battigalli, Pierpaolo & Bonanno, Giacomo, 1999. "Recent results on belief, knowledge and the epistemic foundations of game theory," Research in Economics, Elsevier, vol. 53(2), pages 149-225, June.
    9. Bernheim, B Douglas, 1984. "Rationalizable Strategic Behavior," Econometrica, Econometric Society, vol. 52(4), pages 1007-1028, July.
    10. Board, Oliver, 2004. "Dynamic interactive epistemology," Games and Economic Behavior, Elsevier, vol. 49(1), pages 49-80, October.
    11. van Benthem, Johan, 2001. "Games in Dynamic-Epistemic Logic," Bulletin of Economic Research, Wiley Blackwell, vol. 53(4), pages 219-248, October.
    12. Bonanno, G, 1992. "Set-Theoretic Equivalence of Extensive-Form Games," International Journal of Game Theory, Springer;Game Theory Society, vol. 20(4), pages 429-447.
    13. Giacomo Bonanno, 2007. "A Syntactic Approach to Rationality in Games," Working Papers 247, University of California, Davis, Department of Economics.
    14. Bonanno, Giacomo, 2013. "A dynamic epistemic characterization of backward induction without counterfactuals," Games and Economic Behavior, Elsevier, vol. 78(C), pages 31-43.
    15. Quesada, Antonio, 2001. "On expressing maximum information in extensive games," Mathematical Social Sciences, Elsevier, vol. 42(2), pages 161-167, September.
    16. Johan Van Benthem, 2007. "Rational Dynamics And Epistemic Logic In Games," International Game Theory Review (IGTR), World Scientific Publishing Co. Pte. Ltd., vol. 9(01), pages 13-45.
    17. Giacomo Bonanno, 2007. "A Syntactic Approach to Rationality in Games," Working Papers 71, University of California, Davis, Department of Economics.
    Full references (including those not matched with items on IDEAS)

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Giacomo Bonanno & Cédric Dégremont, 2013. "Logic and Game Theory," Working Papers 134, University of California, Davis, Department of Economics.
    2. Giacomo Bonanno, 2011. "Reasoning about strategies and rational play in dynamic games," Working Papers 9, University of California, Davis, Department of Economics.
    3. Dekel, Eddie & Siniscalchi, Marciano, 2015. "Epistemic Game Theory," Handbook of Game Theory with Economic Applications,, Elsevier.
    4. Battigalli, Pierpaolo & De Vito, Nicodemo, 2021. "Beliefs, plans, and perceived intentions in dynamic games," Journal of Economic Theory, Elsevier, vol. 195(C).
    5. Adam Brandenburger, 2007. "The power of paradox: some recent developments in interactive epistemology," International Journal of Game Theory, Springer;Game Theory Society, vol. 35(4), pages 465-492, April.
    6. Xiao Luo & Ben Wang, 2022. "An epistemic characterization of MACA," Economic Theory, Springer;Society for the Advancement of Economic Theory (SAET), vol. 73(4), pages 995-1024, June.
    7. Guilhem Lecouteux, 2018. "Bayesian game theorists and non-Bayesian players," The European Journal of the History of Economic Thought, Taylor & Francis Journals, vol. 25(6), pages 1420-1454, November.
    8. Giacomo Bonanno, 2011. "Reasoning about strategies and rational play in dynamic games," Working Papers 1111, University of California, Davis, Department of Economics.
    9. Shuige Liu, 2021. "Characterizing permissibility, proper rationalizability, and iterated admissibility by incomplete information," International Journal of Game Theory, Springer;Game Theory Society, vol. 50(1), pages 119-148, March.
    10. John Hillas & Elon Kohlberg, 1996. "Foundations of Strategic Equilibrium," Game Theory and Information 9606002, University Library of Munich, Germany, revised 18 Sep 1996.
    11. Guarino, Pierfrancesco & Ziegler, Gabriel, 2022. "Optimism and pessimism in strategic interactions under ignorance," Games and Economic Behavior, Elsevier, vol. 136(C), pages 559-585.
    12. Johan Van Benthem & Eric Pacuit & Olivier Roy, 2011. "Toward a Theory of Play: A Logical Perspective on Games and Interaction," Games, MDPI, vol. 2(1), pages 1-35, February.
    13. Adam Brandenburger & Amanda Friedenberg, 2014. "Self-Admissible Sets," World Scientific Book Chapters, in: The Language of Game Theory Putting Epistemics into the Mathematics of Games, chapter 8, pages 213-249, World Scientific Publishing Co. Pte. Ltd..
    14. Heifetz, Aviad & Meier, Martin & Schipper, Burkhard C., 2019. "Comprehensive rationalizability," Games and Economic Behavior, Elsevier, vol. 116(C), pages 185-202.
    15. Giacomo Bonanno & Elias Tsakas, 2017. "Qualitative analysis of common belief of rationality in strategic-form games," Working Papers 175, University of California, Davis, Department of Economics.
    16. Barelli, Paulo & Galanis, Spyros, 2013. "Admissibility and event-rationality," Games and Economic Behavior, Elsevier, vol. 77(1), pages 21-40.
    17. Keisler, H. Jerome & Lee, Byung Soo, 2011. "Common assumption of rationality," MPRA Paper 34441, University Library of Munich, Germany.
    18. Yi-Chun Chen & Xiao Luo & Chen Qu, 2016. "Rationalizability in general situations," Economic Theory, Springer;Society for the Advancement of Economic Theory (SAET), vol. 61(1), pages 147-167, January.
    19. Battigalli, Pierpaolo & Leonetti, Paolo & Maccheroni, Fabio, 2020. "Behavioral equivalence of extensive game structures," Games and Economic Behavior, Elsevier, vol. 121(C), pages 533-547.
    20. Bonanno, Giacomo, 2003. "A syntactic characterization of perfect recall in extensive games," Research in Economics, Elsevier, vol. 57(3), pages 201-217, September.

    More about this item

    Keywords

    Game theory; Modal logic; formal languages; epistemic dynamics; backward induction;
    All these keywords.

    JEL classification:

    • C7 - Mathematical and Quantitative Methods - - Game Theory and Bargaining Theory

    Statistics

    Access and download statistics

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:cda:wpaper:11. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Letters and Science IT Services Unit (email available below). General contact details of provider: https://edirc.repec.org/data/educdus.html .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.