Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together

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.

• Type: Conference
• Year: 2009
• Where: LORI
• Authors: Emiliano Lorini, François Schwarzentruber, Andreas Herzig
• Keywords: Epistemic, Epistemic Dynamic Logic, Epistemic Game, LORI 2009