Advanced Search
MyIDEAS: Login to save this article or follow this journal

A Modal Logic of Epistemic Games

Contents:

Author Info

  • 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)

Registered author(s):

    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.

    Download Info

    If 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.
    File URL: http://www.mdpi.com/2073-4336/1/4/478/pdf
    Download Restriction: no

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

    Bibliographic Info

    Article provided by MDPI, Open Access Journal in its journal Games.

    Volume (Year): 1 (2010)
    Issue (Month): 4 (November)
    Pages: 478-526

    as in new window
    Handle: RePEc:gam:jgames:v:1:y:2010:i:4:p:478-526:d:10053

    Contact details of provider:
    Web page: http://www.mdpi.com/

    Related research

    Keywords: game theory; modal logic; dynamic epistemic logic;

    Find related papers by JEL classification:

    References

    References listed on IDEAS
    Please report citation or reference errors to , or , if you are the registered author of the cited work, log in to your RePEc Author Service profile, click on "citations" and make appropriate adjustments.:
    as in new window
    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, vol. 28(3), pages 263-300.
    3. 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

    Lists

    This item is not listed on Wikipedia, on a reading list or among the top items on IDEAS.

    Statistics

    Access and download statistics

    Corrections

    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.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: (XML Conversion Team).

    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 references are entirely missing, you can add them using this form.

    If the full references list an item that is present in RePEc, but the system did not link 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 profile, as there may be some citations waiting for confirmation.

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