License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.09351.5
URN: urn:nbn:de:0030-drops-22313
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2009/2231/
Go to the corresponding Portal |
Lorini, Emiliano ;
Schwarzentruber, François ;
Herzig, Andreas
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences all together
Abstract
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.
BibTeX - Entry
@InProceedings{lorini_et_al:DagSemProc.09351.5,
author = {Lorini, Emiliano and Schwarzentruber, Fran\c{c}ois and Herzig, Andreas},
title = {{Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences all together}},
booktitle = {Information processing, rational belief change and social interaction},
pages = {1--20},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2009},
volume = {9351},
editor = {Giacomo Bonanno and James Delgrande and Hans Rott},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2009/2231},
URN = {urn:nbn:de:0030-drops-22313},
doi = {10.4230/DagSemProc.09351.5},
annote = {Keywords: Modal logic, game theory, epistemic games}
}
Keywords: |
|
Modal logic, game theory, epistemic games |
Collection: |
|
09351 - Information processing, rational belief change and social interaction |
Issue Date: |
|
2009 |
Date of publication: |
|
04.11.2009 |