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

Full description

Saved in:
Bibliographic Details
Published in:Games and economic behavior 2004-10, Vol.49 (1), p.49-80
Main Author: Board, Oliver
Format: Article
Language:English
Subjects:
Belief revision
Beliefs
Canon law
Canonical structure
Economic theory
Epistemology
Game theory
Human behaviour
Interactive epistemology
Language
Microeconomics
Semantic
Semantics
Syntactic
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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 [Econ. Philos. 12 (1996) 133–163] and Battigalli and Siniscalchi [J. Econ. Theory 88 (1999) 188–230], and used to analyze rational play in extensive form games. But while the properties of Aumann 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.
ISSN:0899-8256
1090-2473
DOI:10.1016/j.geb.2003.10.006