带有完美记忆公理和无奇迹公理的EPDL系统的完全性（英文）

EPDL系统是PDL和EL的混合系统。EPDL的框架同时包含用于表示知识和用于表示动作的两种二元关系。完美记忆公理和无奇迹公理刻画了这两种关系的交互。本论文证明了含有完美记忆公理和无奇迹公理的EPDL系统相对于具有这两种交互性质的EPDL框架类的弱完全性。