Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Journal articles

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).
Complete list of metadata

Cited literature [32 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (OATAO) Connect in order to contact the contributor
Submitted on : Wednesday, June 6, 2018 - 3:45:54 PM
Last modification on : Monday, July 4, 2022 - 9:40:19 AM
Long-term archiving on: : Friday, September 7, 2018 - 2:02:49 PM


Files produced by the author(s)



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⟩



Record views


Files downloads