Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces

Abstract : In the literature there are at least two main formal structures to deal with situations of interactive epistemology: Kripke models and type spaces. As shown in many papers (see Aumann and Brandenburger in Econometrica 36:1161–1180, 1995; Baltag et al. in Synthese 169:301–333, 2009; Battigalli and Bonanno in Res Econ 53(2):149–225, 1999; Battigalli and Siniscalchi in J Econ Theory 106:356–391, 2002; Klein and Pacuit in Stud Log 102:297–319, 2014; Lorini in J Philos Log 42(6):863–904, 2013), both these frameworks can be used to express epistemic conditions for solution concepts in game theory. The main result of this paper is a formal comparison between the two and a statement of semantic equivalence with respect to two different logical systems: a doxastic logic for belief and an epistemic–doxastic logic for belief and knowledge. Moreover, a sound and complete axiomatization of these logics with respect to the two equivalent Kripke semantics and type spaces semantics is provided. Finally, a probabilistic extension of the result is also presented. A further result of the paper is a study of the relationship between the epistemic–doxastic logic for belief and knowledge and the logic STIT (the logic of “seeing to it that”) by Belnap and colleagues (Facing the future: agents and choices in our indeterminist world, 2001).
Liste complète des métadonnées

Cited literature [32 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01809280
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Wednesday, June 6, 2018 - 3:45:54 PM
Last modification on : Friday, April 12, 2019 - 4:23:07 PM
Document(s) archivé(s) le : Friday, September 7, 2018 - 2:02:49 PM

File

galeazzi_18997.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Paolo Galeazzi, Emiliano Lorini. Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces. Synthese, Springer Verlag (Germany), 2016, vol. 193 (n° 7), pp. 2097-2127. ⟨10.1007/s11229-015-0834-x⟩. ⟨hal-01809280⟩

Share

Metrics

Record views

46

Files downloads

47