Linguistique de l’écrit

Revue internationale en libre accès

Revue | Volume | Article

234927

A minimal logic for interactive epistemology

Emiliano Lorini

pp. 725-755

Résumé

We propose a minimal logic for interactive epistemology based on a qualitative representation of epistemic individual and group attitudes including knowledge, belief, strong belief, common knowledge and common belief. We show that our logic is sufficiently expressive to provide an epistemic foundation for various game-theoretic solution concepts including “1-round of deletion of weakly dominated strategies, followed by iterated deletion of strongly dominated strategies” ((hbox {DWDS}^1hbox {-IDSDS})) and “2-rounds of deletion of weakly dominated strategies, followed by iterated deletion of strongly dominated strategies” ((hbox {DWDS}^2hbox {-IDSDS})). Axiomatization and complexity results for the logic are given in the paper.

Détails de la publication

Publié dans:

Ågotnes Thomas, Bonanno Giacomo, van der Hoek Wiebe (2016) Logic and the foundations of game and decision theory. Synthese 193 (3).

Pages: 725-755

DOI: 10.1007/s11229-015-0960-5

Citation complète:

Lorini Emiliano, 2016, A minimal logic for interactive epistemology. Synthese 193 (3), Logic and the foundations of game and decision theory, 725-755. https://doi.org/10.1007/s11229-015-0960-5.