首页 > 期刊 > 人文社会科学 > 哲学与人文科学 > 逻辑学 > 逻辑学研究 > 带有完美记忆公理和无奇迹公理的EPDL 系统的完全性 【正文】
带有完美记忆公理和无奇迹公理的EPDL 系统的完全性
南开大学哲学院
- 混合系统
- 完全性
- 公理
- 记忆
- 二元关系
摘要：EPDL 系统是PDL 和EL 的混合系统。EPDL 的框架同时包含用于表示知识和用于表示动作的两种二元关系。完美记忆公理和无奇迹公理刻画了这两种关系的交互。本论文证明了含有完美记忆公理和无奇迹公理的EPDL 系统相对于具有这两种交互性质的EPDL 框架类的弱完全性。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
我们提供的服务
在线客服
一对一咨询服务、简单快捷、省时省力
了解更多 >
快递配送
直邮到家、实时跟踪、更安全更省心
了解更多 >
杂志订阅
去除中间环节享受低价，物流进度实时通知
了解更多 >
杂志推荐
正版杂志，匹配度高、性价比高、成功率高
了解更多 >