首頁 > 期刊 > 人文社會科學 > 哲學與人文科學 > 邏輯學 > 邏輯學研究 > 帶有完美記憶公理和無奇跡公理的EPDL 系統的完全性 【正文】
帶有完美記憶公理和無奇跡公理的EPDL 系統的完全性
李延軍 南開大學哲學院
- 混合系統
- 完全性
- 公理
- 記憶
- 二元關系
摘要：EPDL 系統是PDL 和EL 的混合系統。EPDL 的框架同時包含用于表示知識和用于表示動作的兩種二元關系。完美記憶公理和無奇跡公理刻畫了這兩種關系的交互。本論文證明了含有完美記憶公理和無奇跡公理的EPDL 系統相對于具有這兩種交互性質的EPDL 框架類的弱完全性。
- 混合系統
- 完全性
- 公理
- 記憶
- 二元關系
摘要：EPDL 系統是PDL 和EL 的混合系統。EPDL 的框架同時包含用于表示知識和用于表示動作的兩種二元關系。完美記憶公理和無奇跡公理刻畫了這兩種關系的交互。本論文證明了含有完美記憶公理和無奇跡公理的EPDL 系統相對于具有這兩種交互性質的EPDL 框架類的弱完全性。
注：因版權方要求，不能公開全文，如需全文，請咨詢雜志社
