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

Dynamic Interactive Epistemology

Author

Listed:
  • Oliver Board

Abstract

The epistemic program in game theory uses formal models of interactive reasoning to provide foundations for various game-theoretic solution concepts. Much of this work is based around the (static) Aumann structure model of interactive epistemology, but more recently dynamic models of interactive reasoning have been developed, most notably by Stalnaker[39] and Battigalli and Siniscalchi [6], and used to analyze rational play in extensive form games. But while the properties of Kripke structures are well understood, without a formal language in which belief and belief revision statements can be expressed, it is unclear exactly what are the properties of these dynamic models. Here we investigate this question, by defining such a language. A semantics and syntax are presented, with soundness and completeness theorems linking the two.

Suggested Citation

  • Oliver Board, 2002. "Dynamic Interactive Epistemology," Economics Series Working Papers 125, University of Oxford, Department of Economics.
    • Handle: RePEc:oxf:wpaper:125
    as

    Download full text from publisher

    File URL: http://www.economics.ox.ac.uk/materials/working_papers/paper125.pdf
    Download Restriction: no

    Other versions of this item:

    References listed on IDEAS

    as
    1. repec:pit:wpaper:244 is not listed on IDEAS
    2. Adam Brandenburger & Eddie Dekel, 2014. "Hierarchies of Beliefs and Common Knowledge," World Scientific Book Chapters,in: The Language of Game Theory Putting Epistemics into the Mathematics of Games, chapter 2, pages 31-41 World Scientific Publishing Co. Pte. Ltd..
    3. 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..
    4. Samet, Dov, 1990. "Ignoring ignorance and agreeing to disagree," Journal of Economic Theory, Elsevier, vol. 52(1), pages 190-207, October.
    5. Harsanyi, John C, 1995. "Games with Incomplete Information," American Economic Review, American Economic Association, vol. 85(3), pages 291-303, June.
    6. Ronald Fagin & Joseph Y. Halpern & Yoram Moses & Moshe Y. Vardi, 2003. "Reasoning About Knowledge," MIT Press Books, The MIT Press, edition 1, volume 1, number 0262562006, January.
    7. Board, Oliver, 2003. "The not-so-absent-minded driver," Research in Economics, Elsevier, vol. 57(3), pages 189-200, September.
    8. Piccione, Michele & Rubinstein, Ariel, 1997. "On the Interpretation of Decision Problems with Imperfect Recall," Games and Economic Behavior, Elsevier, vol. 20(1), pages 3-24, July.
    9. In-Koo Cho & David M. Kreps, 1987. "Signaling Games and Stable Equilibria," The Quarterly Journal of Economics, Oxford University Press, vol. 102(2), pages 179-221.
    10. Bonanno, Giacomo, 2004. "Memory and perfect recall in extensive games," Games and Economic Behavior, Elsevier, vol. 47(2), pages 237-256, May.
    11. Battigalli, Pierpaolo, 1996. "Strategic Independence and Perfect Bayesian Equilibria," Journal of Economic Theory, Elsevier, vol. 70(1), pages 201-234, July.
    12. John Geanakoplos & (**), Moshe Y. Vardi & Joseph Y. Halpern & Ronald Fagin, 1999. "The hierarchical approach to modeling knowledge and common knowledge," International Journal of Game Theory, Springer;Game Theory Society, vol. 28(3), pages 331-365.
    13. Reny Philip J., 1993. "Common Belief and the Theory of Games with Perfect Information," Journal of Economic Theory, Elsevier, vol. 59(2), pages 257-274, April.
    14. Robert J. Aumann, 1999. "Interactive epistemology I: Knowledge," International Journal of Game Theory, Springer;Game Theory Society, vol. 28(3), pages 263-300.
    15. 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.
    16. Stalnaker, Robert, 1996. "Knowledge, Belief and Counterfactual Reasoning in Games," Economics and Philosophy, Cambridge University Press, vol. 12(02), pages 133-163, October.
    17. Geanakoplos, John D. & Polemarchakis, Heraklis M., 1982. "We can't disagree forever," Journal of Economic Theory, Elsevier, vol. 28(1), pages 192-200, October.
    18. Stalnaker, Robert, 1998. "Belief revision in games: forward and backward induction1," Mathematical Social Sciences, Elsevier, vol. 36(1), pages 31-56, July.
    19. Battigalli, Pierpaolo & Siniscalchi, Marciano, 1999. "Hierarchies of Conditional Beliefs and Interactive Epistemology in Dynamic Games," Journal of Economic Theory, Elsevier, vol. 88(1), pages 188-230, September.
    20. Heifetz, Aviad & Samet, Dov, 1998. "Knowledge Spaces with Arbitrarily High Rank," Games and Economic Behavior, Elsevier, vol. 22(2), pages 260-273, February.
    21. Oliver Board, 2002. "The Deception of the Greeks: Generalizing the Information Structure of Extensive Form Games," Economics Series Working Papers 137, University of Oxford, Department of Economics.
    22. Geanakoplos, John & Pearce, David & Stacchetti, Ennio, 1989. "Psychological games and sequential rationality," Games and Economic Behavior, Elsevier, vol. 1(1), pages 60-79, March.
    23. Battigalli, Pierpaolo & Siniscalchi, Marciano, 2002. "Strong Belief and Forward Induction Reasoning," Journal of Economic Theory, Elsevier, vol. 106(2), pages 356-391, October.
    24. Kohlberg, Elon & Reny, Philip J., 1997. "Independence on Relative Probability Spaces and Consistent Assessments in Game Trees," Journal of Economic Theory, Elsevier, vol. 75(2), pages 280-313, August.
    25. Crawford, Vincent P & Sobel, Joel, 1982. "Strategic Information Transmission," Econometrica, Econometric Society, vol. 50(6), pages 1431-1451, November.
    26. Dufwenberg, Martin, 2002. "Marital investments, time consistency and emotions," Journal of Economic Behavior & Organization, Elsevier, vol. 48(1), pages 57-69, May.
    27. John Geanakoplos, 1992. "Common Knowledge," Journal of Economic Perspectives, American Economic Association, vol. 6(4), pages 53-82, Fall.
    28. Oliver Board, 2003. "Algorithmic Characterization of Rationalizability in Extensive Form Games," Economics Series Working Papers 148, University of Oxford, Department of Economics.
    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. Johan Van Benthem & Eric Pacuit & Olivier Roy, 2011. "Toward a Theory of Play: A Logical Perspective on Games and Interaction," Games, MDPI, Open Access Journal, vol. 2(1), pages 1-35, February.
    2. repec:pit:wpaper:244 is not listed on IDEAS
    3. Giacomo Bonanno & Cédric Dégremont, 2013. "Logic and Game Theory," Working Papers 135, University of California, Davis, Department of Economics.
    4. Billot, Antoine & Vergnaud, Jean-Christophe & Walliser, Bernard, 2015. "Multiagent belief revision," Journal of Mathematical Economics, Elsevier, vol. 59(C), pages 47-57.
    5. Guilhem Lecouteux, 2017. "Bayesian Game Theorists and Non-Bayesian Players," GREDEG Working Papers 2017-30, Groupe de REcherche en Droit, Economie, Gestion (GREDEG CNRS), University of Nice Sophia Antipolis.
    6. Giacomo Bonanno, 2004. "A simple modal logic for belief revision," Working Papers 45, University of California, Davis, Department of Economics.
    7. Amedeo Fossati, 2014. "The Luigi Einaudi vs. Mauro Fasiani epistemological debate (1938-1943): the end of the italian tradition in Public Finance," STUDI ECONOMICI, FrancoAngeli Editore, vol. 2014(113), pages 5-33.
    8. Guilhem Lecouteux, 2017. "Bayesian Game Theorists and non-Bayesian Players," Working Papers halshs-01633126, HAL.
    9. Giacomo Bonanno, 2011. "Reasoning about strategies and rational play in dynamic games," Working Papers 1111, University of California, Davis, Department of Economics.
    10. Giacomo Bonanno, 2013. "Counterfactuals and the Prisoner?s Dilemma," Working Papers 137, University of California, Davis, Department of Economics.
    11. repec:hal:journl:halshs-00344461 is not listed on IDEAS
    12. Giacomo Bonanno, 2007. "Four Logics for Minimal Belief Revision," Working Papers 76, University of California, Davis, Department of Economics.

    More about this item

    Keywords

    interactive epistemology; belief revision; semantic; syntactic;

    JEL classification:

    • C73 - Mathematical and Quantitative Methods - - Game Theory and Bargaining Theory - - - Stochastic and Dynamic Games; Evolutionary Games
    • D82 - Microeconomics - - Information, Knowledge, and Uncertainty - - - Asymmetric and Private Information; Mechanism Design
    • D83 - Microeconomics - - Information, Knowledge, and Uncertainty - - - Search; Learning; Information and Knowledge; Communication; Belief; Unawareness

    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:oxf:wpaper:125. 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: (Anne Pouliquen). General contact details of provider: http://edirc.repec.org/data/sfeixuk.html .

    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 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.

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

    IDEAS is a RePEc service hosted by the Research Division of the Federal Reserve Bank of St. Louis . RePEc uses bibliographic data supplied by the respective publishers.