首頁 > 期刊 > 人文社會科學(xué) > 哲學(xué)與人文科學(xué) > 邏輯學(xué) > 邏輯學(xué)研究 > 帶有完美記憶公理和無奇跡公理的EPDL 系統(tǒng)的完全性 【正文】
帶有完美記憶公理和無奇跡公理的EPDL 系統(tǒng)的完全性
李延軍 南開大學(xué)哲學(xué)院
- 混合系統(tǒng)
- 完全性
- 公理
- 記憶
- 二元關(guān)系
摘要：EPDL 系統(tǒng)是PDL 和EL 的混合系統(tǒng)。EPDL 的框架同時包含用于表示知識和用于表示動作的兩種二元關(guān)系。完美記憶公理和無奇跡公理刻畫了這兩種關(guān)系的交互。本論文證明了含有完美記憶公理和無奇跡公理的EPDL 系統(tǒng)相對于具有這兩種交互性質(zhì)的EPDL 框架類的弱完全性。
- 混合系統(tǒng)
- 完全性
- 公理
- 記憶
- 二元關(guān)系
摘要：EPDL 系統(tǒng)是PDL 和EL 的混合系統(tǒng)。EPDL 的框架同時包含用于表示知識和用于表示動作的兩種二元關(guān)系。完美記憶公理和無奇跡公理刻畫了這兩種關(guān)系的交互。本論文證明了含有完美記憶公理和無奇跡公理的EPDL 系統(tǒng)相對于具有這兩種交互性質(zhì)的EPDL 框架類的弱完全性。
注：因版權(quán)方要求，不能公開全文，如需全文，請咨詢雜志社
邏輯學(xué)研究
- 預(yù)計1-3個月 預(yù)計審稿周期
- 0.33 影響因子
- 政法 快捷分類
- 雙月刊 出版周期
主管單位：中山大學(xué);主辦單位：中山大學(xué);中國邏輯學(xué)會
我們提供的服務(wù)
在線客服
一對一咨詢服務(wù)、簡單快捷、省時省力
了解更多 >
快遞配送
直郵到家、實時跟蹤、更安全更省心
了解更多 >
雜志訂閱
去除中間環(huán)節(jié)享受低價，物流進度實時通知
了解更多 >
雜志推薦
正版雜志，匹配度高、性價比高、成功率高
了解更多 >