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

本文探讨了信念收缩和修订的理论，提出了基于迭代修正的收缩操作及其可行性，涵盖AGM信念修正、优先量图构造和可接受修订算子，旨在优化信念动态变化的管理，并引入基于知识度量的信念变化框架。