本研究提出了一种包含三种模态运算符的简单模态逻辑，旨在填补信念修订领域AGM公理的理论空白，并验证AGM公理与Kripke-Lewis框架之间的对应关系。

信念修订的AGM公理的模态逻辑翻译
BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 ·
👤 个人中心
在公众号发送验证码完成验证