IDEAS home Printed from https://ideas.repec.org/a/gam/jgames/v1y2010i4p478-526d10053.html
   My bibliography  Save this article

A Modal Logic of Epistemic Games

Author

Listed:
  • Emiliano Lorini

    (IRIT-CNRS, Université de Toulouse, 118 route de Narbonne, 31062 Toulouse, France)

  • François Schwarzentruber

    (IRIT-CNRS, Université de Toulouse, 118 route de Narbonne, 31062 Toulouse, France)

Abstract

We propose some variants of a multi-modal of joint action, preference and knowledge that support reasoning about epistemic games in strategic form. The first part of the paper deals with games with complete information. We first provide syntactic proofs of some well-known theorems in the area of interactive epistemology that specify some sufficient epistemic conditions of equilibrium notions such as Nash equilibrium and Iterated Deletion of Strictly Dominated Strategies (IDSDS). Then, we present a variant of the logic extended with dynamic operators of Dynamic Epistemic Logic (DEL). We show that it allows to express the notion IDSDS in a more compact way. The second part of the paper deals with games with weaker forms of complete information. We first discuss several assumptions on different aspects of perfect information about the game structure (e.g., the assumption that a player has perfect knowledge about the players’ strategy sets or about the preference orderings over strategy profiles), and show that every assumption is expressed by a corresponding logical axiom of our logic. Then we provide a proof of Harsanyi’s claim that all uncertainty about the structure of a game can be reduced to uncertainty about payoffs. Sound and complete axiomatizations of the logics are given, as well as some complexity results for the satisfiability problem.

Suggested Citation

  • Emiliano Lorini & François Schwarzentruber, 2010. "A Modal Logic of Epistemic Games," Games, MDPI, vol. 1(4), pages 1-49, November.
  • Handle: RePEc:gam:jgames:v:1:y:2010:i:4:p:478-526:d:10053
    as

    Download full text from publisher

    File URL: https://www.mdpi.com/2073-4336/1/4/478/pdf
    Download Restriction: no

    File URL: https://www.mdpi.com/2073-4336/1/4/478/
    Download Restriction: no
    ---><---

    References listed on IDEAS

    as
    1. 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.
    2. Robert J. Aumann, 1999. "Interactive epistemology I: Knowledge," International Journal of Game Theory, Springer;Game Theory Society, vol. 28(3), pages 263-300.
    3. 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.
    4. Robert Aumann & Adam Brandenburger, 2014. "Epistemic Conditions for Nash Equilibrium," World Scientific Book Chapters, in: The Language of Game Theory Putting Epistemics into the Mathematics of Games, chapter 5, pages 113-136, World Scientific Publishing Co. Pte. Ltd..
    5. 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.
    6. Adam Brandenburger, 1992. "Knowledge and Equilibrium in Games," Journal of Economic Perspectives, American Economic Association, vol. 6(4), pages 83-101, Fall.
    Full references (including those not matched with items on IDEAS)

    Citations

    Citations are extracted by the CitEc Project, subscribe to its RSS feed for this item.
    as


    Cited by:

    1. Michele Crescenzi, 2022. "Coordination through ambiguous language," Papers 2211.03426, arXiv.org.

    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 11, University of California, Davis, Department of Economics.
    2. 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.
    3. Giacomo Bonanno, 2011. "Reasoning about strategies and rational play in dynamic games," Working Papers 1111, University of California, Davis, Department of Economics.
    4. John Hillas & Elon Kohlberg, 1996. "Foundations of Strategic Equilibrium," Game Theory and Information 9606002, University Library of Munich, Germany, revised 18 Sep 1996.
    5. Zambrano, Eduardo, 2008. "Epistemic conditions for rationalizability," Games and Economic Behavior, Elsevier, vol. 63(1), pages 395-405, May.
    6. Board, Oliver, 2004. "Dynamic interactive epistemology," Games and Economic Behavior, Elsevier, vol. 49(1), pages 49-80, October.
    7. Yannai A. Gonczarowski & Yoram Moses, 2023. "Common Knowledge, Regained," Papers 2311.04374, arXiv.org, revised Apr 2024.
    8. Giacomo Bonanno & Cédric Dégremont, 2013. "Logic and Game Theory," Working Papers 134, University of California, Davis, Department of Economics.
    9. Moscati Ivan, 2009. "Interactive and common knowledge in the state-space model," CESMEP Working Papers 200903, University of Turin.
    10. Pierpaolo Battigalli & Alfredo Di Tillio & Dov Samet, 2011. "Strategies and interactive beliefs in dynamic games," Working Papers 375, IGIER (Innocenzo Gasparini Institute for Economic Research), Bocconi University.
    11. Marchiori, Davide & Di Guida, Sibilla & Polonio, Luca, 2021. "Plasticity of strategic sophistication in interactive decision-making," Journal of Economic Theory, Elsevier, vol. 196(C).
    12. Michael Trost, 2013. "Epistemic characterizations of iterated deletion of inferior strategy profiles in preference-based type spaces," International Journal of Game Theory, Springer;Game Theory Society, vol. 42(3), pages 755-776, August.
    13. Giacomo Bonanno & Elias Tsakas, 2017. "Qualitative analysis of common belief of rationality in strategic-form games," Working Papers 181, University of California, Davis, Department of Economics.
    14. Robert Grafstein, 2002. "What Rational Political Actors Can Expect," Journal of Theoretical Politics, , vol. 14(2), pages 139-165, April.
    15. Cyril Hédoin, 2016. "Community-Based Reasoning in Games: Salience, Rule-Following, and Counterfactuals," Games, MDPI, vol. 7(4), pages 1-17, November.
    16. Giovanna Devetag & Hykel Hosni & Giacomo Sillari, 2012. "You Better Play 7: Mutual versus Common Knowledge of Advice in a Weak-link Experiment," LEM Papers Series 2012/01, Laboratory of Economics and Management (LEM), Sant'Anna School of Advanced Studies, Pisa, Italy.
    17. Giacomo Bonanno, 2011. "Reasoning about strategies and rational play in dynamic games," Working Papers 9, University of California, Davis, Department of Economics.
    18. Christian Bach & Jérémie Cabessa, 2012. "Common knowledge and limit knowledge," Theory and Decision, Springer, vol. 73(3), pages 423-440, September.
    19. Holler Manfred J., 2002. "Classical, Modern, and New Game Theory / Klassische, Moderne und Neue Spieltheorie," Journal of Economics and Statistics (Jahrbuecher fuer Nationaloekonomie und Statistik), De Gruyter, vol. 222(5), pages 556-583, October.
    20. Kin Chung Lo, 1998. "Epistemic Conditions for Agreement and Stochastic Independence of epsilon-Contaminated Beliefs," Working Papers 1998_02, York University, Department of Economics.

    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:gam:jgames:v:1:y:2010:i:4:p:478-526:d:10053. 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: MDPI Indexing Manager (email available below). General contact details of provider: https://www.mdpi.com .

    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.