Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together
复制标题
模态逻辑中的认知博弈：联合行动、知识和偏好
DOI：
10.1007/978-3-642-04893-7_17
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
A. Herzig
中科院分区：
文献类型：
--
作者：
E. Lorini;François Schwarzentruber;A. Herzig
我们提出了一个模态逻辑称为EDLA（认知动态逻辑的机构），允许的原因，认知游戏的战略形式。EDLA整合了联合行动、偏好和知识的概念。在本文的第一部分中，我们介绍了EDLA，并提供合理性，完整性和复杂性的结果。在第二部分中，我们研究了EDLA中的一些经典解的概念，如纳什均衡和迭代严格优势的认识和合理性条件。在论文的最后一部分，我们结合联合收割机EDLA与动态认知逻辑（DEL），以建模认知博弈动态。
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.