摘要
EPDL 系统是PDL 和EL 的混合系统。EPDL 的框架同时包含用于表示知识和用于表示动作的两种二元关系。完美记忆公理和无奇迹公理刻画了这两种关系的交互。本论文证明了含有完美记忆公理和无奇迹公理的EPDL 系统相对于具有这两种交互性质的EPDL 框架类的弱完全性。
This paper proves the completeness for the combination of propositional dynamic logic and single-agent epistemic logic in which the modalities interact. The kinds of interactions we consider are two commuting axioms, namely, the axiom of perfect recall and the axiom of no miracles. These two axioms capture the interactions between actions and knowledge.
作者
李延军
Yanjun Li(College of Philosophy, Nankai University)
出处
《逻辑学研究》
CSSCI
2019年第3期1-15,共15页
Studies in Logic
基金
the support from the National Social Science Foundation of China(Grant No.18CZX062)
