摘要:EPDL 系统是PDL 和EL 的混合系统。EPDL 的框架同时包含用于表示知识和用于表示动作的两种二元关系。完美记忆公理和无奇迹公理刻画了这两种关系的交互。本论文证明了含有完美记忆公理和无奇迹公理的EPDL 系统相对于具有这两种交互性质的EPDL 框架类的弱完全性。
简介:《逻辑学研究》(CN:44-1649/C)是一本有较高学术价值的双月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社