Modal Logic Translation of AGM Axioms in Belief Revision
原文英文，约100词，阅读约需1分钟。
📝
内容提要
本研究提出了一种包含三种模态运算符的简单模态逻辑，旨在填补信念修订领域AGM公理的理论空白，并验证AGM公理与Kripke-Lewis框架之间的对应关系。
🏷️
