欢迎访问发表云网!为您提供杂志订阅、期刊投稿咨询服务!

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

李延军 南开大学哲学院
混合系统   完全性   公理   记忆   二元关系  

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

简介:《逻辑学研究》(CN:44-1649/C)是一本有较高学术价值的双月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

逻辑学研究

CSSCI南大期刊 下单

关注 20人评论|1人关注
服务与支持