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

摘要

We propose a modal logic called εDLA (Epistemic Dynamic Logic of Agency) that allows to reason about epistemic games in strategic form. εDLA integrates the concepts of joint action, preference and knowledge. In the first part of the paper we introduce εDLA and provide soundness, completeness and complexity results. In the second part we study in εDLA the epistemic and rationality conditions of some classical solution concepts like Nash equilibrium and iterated strict dominance. In the last part of the paper we combine εDLA with Dynamic Epistemic Logic (DEL) in order to model epistemic game dynamics.