Epistemic games in modal logic: joint actions, knowledge and preferences all together

Authors:
Emiliano Lorini;François Schwarzentruber;Andreas Herzig
Affiliations:
Université de Toulouse, CNRS, Institut de Recherche en Informatique de Toulouse;Université de Toulouse, CNRS, Institut de Recherche en Informatique de Toulouse;Université de Toulouse, CNRS, Institut de Recherche en Informatique de Toulouse
Venue:
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Year:
2009

Citing 5
Cited 1

Modal logic

Modal logic
A logic for strategic reasoning

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Generalized solution concepts in games with possibly unaware players

TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Dynamic Epistemic Logic

Dynamic Epistemic Logic
A logic of games and propositional control

Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2

A Dynamic Logic of Agency II: Deterministic $${\mathcal{DLA}}$$ , Coalition Logic, and Game Theory

Journal of Logic, Language and Information

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.