Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences all together

Emiliano Lorini (1, 2) , François Schwarzentruber (1) , Andreas Herzig (1, 2)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique

We present in this work a sound and complete modal logic called EDLA (Epistemic Dynamic Logic of Agency) integrating the concepts of joint action, preference and knowledge and enabling to reason about epistemic games in strategic form. We provide complexity results for EDLA. In the second part of the paper, we study in EDLA the epistemic and rationality conditions of some classical solution concepts like Nash equilibrium and Iterated Deletion of Strictly Dominated Strategies (IDSDS). In the last part of the paper we combine EDLA with Dynamic Epistemic Logic (DEL) in order to model epistemic game dynamics.

Mots clés: modal logic; game theory; epistemic games

Domaines: Intelligence artificielle [cs.AI]

Emiliano Lorini, François Schwarzentruber, Andreas Herzig. Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences all together. Second International Workshop on Logic, Rationality and Interaction (LORI 2009), Oct 2009, Chongqing, China. pp.212-226, ⟨10.1007/978-3-642-04893-7_17⟩. ⟨hal-03474460⟩