We present in this work a sound and complete modal logic called EDLA (Epis-temic Dynamic Logic of Agency) integrating the concepts of joint action, prefer-ence 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 so-lution concepts like Nash equilibrium and Iterated Deletion of Strictly Dominated Strategies (IDSDS). In the last part of the paper we combine EDLAwith Dynamic Epistemic Logic (DEL) in order to model epistemic game dynamics.
Epistemic game theory and the systems of logic that support it are crucial for understanding rationa...
Propositional Dynamic Logic or PDL was invented as a logic for reasoning about regular programmin...
This paper continues the dynamic modal logic analysis provided by van Benthem [5] of procedural rati...
International audienceWe present in this work a sound and complete modal logic called EDLA (Epistemi...
We present in this work a sound and complete modal logic called EDLA (Epistemic Dynamic Logic of Age...
We present in this work a sound and complete modal logic called EDLA (Epistemic Dynamic Logic of Age...
International audienceWe propose some variants of a multi-modal of joint action, preference and know...
We propose some variants of a multi-modal of joint action, preference and knowledge that support rea...
In this paper, I demonstrate the fruitfulness of looking at modal logic from the perspective of game...
modal operators for individual knowledge. This enhanced framework allows us to represent explicitly ...
modal operators for individual knowledge. This enhanced framework allows us to represent explicitly ...
Game theory addresses situations with multiple agents in which the outcome of an agent’s act depends...
Propositional Dynamic Logic or PDL was invented as a logic for reasoning about regular programming c...
Propositional Dynamic Logic or PDL was invented as a logic for reasoning about regular programming c...
Epistemic game theory and the systems of logic that support it are crucial for understanding rationa...
Epistemic game theory and the systems of logic that support it are crucial for understanding rationa...
Propositional Dynamic Logic or PDL was invented as a logic for reasoning about regular programmin...
This paper continues the dynamic modal logic analysis provided by van Benthem [5] of procedural rati...
International audienceWe present in this work a sound and complete modal logic called EDLA (Epistemi...
We present in this work a sound and complete modal logic called EDLA (Epistemic Dynamic Logic of Age...
We present in this work a sound and complete modal logic called EDLA (Epistemic Dynamic Logic of Age...
International audienceWe propose some variants of a multi-modal of joint action, preference and know...
We propose some variants of a multi-modal of joint action, preference and knowledge that support rea...
In this paper, I demonstrate the fruitfulness of looking at modal logic from the perspective of game...
modal operators for individual knowledge. This enhanced framework allows us to represent explicitly ...
modal operators for individual knowledge. This enhanced framework allows us to represent explicitly ...
Game theory addresses situations with multiple agents in which the outcome of an agent’s act depends...
Propositional Dynamic Logic or PDL was invented as a logic for reasoning about regular programming c...
Propositional Dynamic Logic or PDL was invented as a logic for reasoning about regular programming c...
Epistemic game theory and the systems of logic that support it are crucial for understanding rationa...
Epistemic game theory and the systems of logic that support it are crucial for understanding rationa...
Propositional Dynamic Logic or PDL was invented as a logic for reasoning about regular programmin...
This paper continues the dynamic modal logic analysis provided by van Benthem [5] of procedural rati...