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

We propose a modal logic called EDLA (Epistemic Dynamic Logic of Agency) that allows to reason about epistemic games in strategic form. EDLA integrates the concepts of joint action, preference and knowledge. In the first part of the paper we introduce EDLA and provide soundness, completeness and complexity results. In the second part we study in EDLA 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 EDLA with Dynamic Epistemic Logic (DEL) in order to model epistemic game dynamics.

[1]  Johan van Benthem,et al.  Dynamic logic of preference upgrade , 2007, J. Appl. Non Class. Logics.

[2]  O. Roy.  Thinking before acting : intentions, logic, rational choice , 2008 .

[3]  Marc Pauly,et al.  A Modal Logic for Coalitional Power in Games , 2002, J. Log. Comput..

[4]  Michael Wooldridge,et al.  A logic of games and propositional control , 2009, AAMAS.

[5]  J. Horty.  Agency and Deontic Logic , 2001 .

[6]  Andreas Herzig,et al.  Coalition games over Kripke semantics : expressiveness and complexity , 2007 .

[7]  Jelle Gerbrandy,et al.  Dynamic epistemic logic , 1998 .

[8]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[9]  Johan van Benthem,et al.  Rational Dynamics and Epistemic Logic in Games , 2007, IGTR.

[10]  Ariel Rubinstein,et al.  A Course in Game Theory , 1995 .

[11]  B. D. Bruin,et al.  Explaining games : on the logic of game theoretic explanations , 2004 .

[12]  Johan van Benthem,et al.  Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences , 2009, J. Philos. Log..

[13]  Leandro Chaves Rêgo,et al.  Generalized solution concepts in games with possibly unaware players , 2007, TARK '07.

[14]  J. Harsanyi.  Games with Incomplete Information Played by 'Bayesian' Players, Part III. The Basic Probability Distribution of the Game , 1968 .

[15]  Wojciech Jamroga,et al.  A logic for strategic reasoning , 2005, AAMAS '05.

[16]  Adam Brandenburger,et al.  Rationalizability and Correlated Equilibria , 1987 .

[17]  Emiliano Lorini,et al.  A Dynamic Logic of Agency I: STIT, Capabilities and Powers , 2010, J. Log. Lang. Inf..

[18]  N. Belnap,et al.  Facing the Future: Agents and Choices in Our Indeterminist World , 2001 .

[19]  Emiliano Lorini,et al.  A Dynamic Logic of Agency II: Deterministic $${\mathcal{DLA}}$$ , Coalition Logic, and Game Theory , 2010, J. Log. Lang. Inf..

[20]  R. Aumann,et al.  Epistemic Conditions for Nash Equilibrium , 1995 .

[21]  J. Szep,et al.  Games with incomplete information , 1985 .

[22]  Adam Brandenburger,et al.  Knowledge and Equilibrium in Games , 1992 .

[23]  G. Bonanno.  A Syntactic Approach to Rationality in Games with Ordinal Payoffs , 2008 .

[24]  Pierpaolo Battigalli,et al.  Recent results on belief, knowledge and the epistemic foundations of game theory , 1999 .