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).
Type de document :
Article dans une revue
Synthese, Springer Verlag (Germany), 2016, vol. 193 (n° 7), pp. 2097-2127. 〈10.1007/s11229-015-0834-x〉
Liste complète des métadonnées

Littérature citée [32 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01809280
Contributeur : Open Archive Toulouse Archive Ouverte (oatao) <>
Soumis le : mercredi 6 juin 2018 - 15:45:54
Dernière modification le : mercredi 12 septembre 2018 - 17:46:04
Document(s) archivé(s) le : vendredi 7 septembre 2018 - 14:02:49

Fichier

galeazzi_18997.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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〉

Partager

Métriques

Consultations de la notice

33

Téléchargements de fichiers

26