Dynamic interactive epistemology
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 and Battigalli and Siniscalchi , 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.
(This abstract was borrowed from another version of this item.)
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.
As the access to this document is restricted, you may want to look for a different version under "Related research" (further below) or search for a different version of it.
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.:
- Dufwenberg, Martin, 2002. "Marital investments, time consistency and emotions," Journal of Economic Behavior & Organization, Elsevier, vol. 48(1), pages 57-69, May.
- Giacomo Bonanno & Pierpaolo Battigalli, 2003.
"Recent Results On Belief, Knowledge And The Epistemic Foundations Of Game Theory,"
9814, University of California, Davis, Department of Economics.
- 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.
- Pierpaolo Battigali & Giacomo Bonanno, . "Recent Results On Belief, Knowledge And The Epistemic Foundations Of Game Theory," Department of Economics 98-14, California Davis - Department of Economics.
- Battigalli, Pierpaolo & Siniscalchi, Marciano, 2002. "Strong Belief and Forward Induction Reasoning," Journal of Economic Theory, Elsevier, vol. 106(2), pages 356-391, October.
- Robert J. Aumann, 1999. "Interactive epistemology I: Knowledge," International Journal of Game Theory, Springer;Game Theory Society, vol. 28(3), pages 263-300.
- Harsanyi, John C., 1994.
"Games with Incomplete Information,"
Nobel Prize in Economics documents
1994-1, Nobel Prize Committee.
- Bonanno, Giacomo, 2004. "Memory and perfect recall in extensive games," Games and Economic Behavior, Elsevier, vol. 47(2), pages 237-256, May.
- Board, Oliver, 2003.
"The not-so-absent-minded driver,"
Research in Economics,
Elsevier, vol. 57(3), pages 189-200, September.
- In-Koo Cho & David M. Kreps, 1997.
"Signaling Games and Stable Equilibria,"
Levine's Working Paper Archive
896, David K. Levine.
- 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.
- Ronald Fagin & John Geanakoplos & Joseph Y. Halpern & Moshe Y. Vardi, 1999. "The Hierarchical Approach to Modeling Knowledge and Common Knowledge," Cowles Foundation Discussion Papers 1213, Cowles Foundation for Research in Economics, Yale University.
- Heifetz, Aviad & Samet, Dov, 1998. "Knowledge Spaces with Arbitrarily High Rank," Games and Economic Behavior, Elsevier, vol. 22(2), pages 260-273, February.
- Geanakoplos, John & Pearce, David & Stacchetti, Ennio, 1989. "Psychological games and sequential rationality," Games and Economic Behavior, Elsevier, vol. 1(1), pages 60-79, March.
- repec:pit:wpaper:244 is not listed on IDEAS
- Stalnaker, Robert, 1996. "Knowledge, Belief and Counterfactual Reasoning in Games," Economics and Philosophy, Cambridge University Press, vol. 12(02), pages 133-163, October.
- 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, March.
- 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.
- Pierpaolo Battigalli, . "Hierarchies of Conditional Beliefs and Interactive Epistemology in Dynamic Games," Working Papers 111, IGIER (Innocenzo Gasparini Institute for Economic Research), Bocconi University.
- Samet, Dov, 1990.
"Ignoring ignorance and agreeing to disagree,"
Journal of Economic Theory,
Elsevier, vol. 52(1), pages 190-207, October.
- 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.
- P. Reny, 2010. "Common Belief and the Theory of Games with Perfect Information," Levine's Working Paper Archive 386, David K. Levine.
- Crawford, Vincent P & Sobel, Joel, 1982.
"Strategic Information Transmission,"
Econometric Society, vol. 50(6), pages 1431-51, November.
- Rubinstein, Ariel, 1995.
"On the Interpretation of Decision Problems with Imperfect Recall,"
Mathematical Social Sciences,
Elsevier, vol. 30(3), pages 324-324, December.
- 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.
- 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.
- Aumann, Robert & Brandenburger, Adam, 1995.
"Epistemic Conditions for Nash Equilibrium,"
Econometric Society, vol. 63(5), pages 1161-80, September.
- Geanakoplos, John D. & Polemarchakis, Heraklis M., 1982.
"We can't disagree forever,"
Journal of Economic Theory,
Elsevier, vol. 28(1), pages 192-200, October.
- John Geanakoplos, 1992. "Common Knowledge," Journal of Economic Perspectives, American Economic Association, vol. 6(4), pages 53-82, Fall.
- Oliver Board, 2003. "Algorithmic Characterization of Rationalizability in Extensive Form Games," Economics Series Working Papers 148, University of Oxford, Department of Economics.
- 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..
- 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.
- Stalnaker, Robert, 1998. "Belief revision in games: forward and backward induction1," Mathematical Social Sciences, Elsevier, vol. 36(1), pages 31-56, July.
- Battigalli, Pierpaolo, 1996. "Strategic Independence and Perfect Bayesian Equilibria," Journal of Economic Theory, Elsevier, vol. 70(1), pages 201-234, July.
When requesting a correction, please mention this item's handle: RePEc:eee:gamebe:v:49:y:2004:i:1:p:49-80. 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: (Shamier, Wendy)
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.