arXiv:2502.14176v1 类型: 交叉 摘要: 在分析了 Bonanno (《人工智能》, 2025) 的基础上，我们引入了一种包含三个模态运算符的简单模态逻辑：一模态信念运算符、二模态条件运算符和一模态全局运算符。对于每条 AGM 信念修订公理，我们提供了一条相应的模态公理。对应关系如下：每条 AGM 信念修订公理都可以通过分析 Bonanno (《人工智能》, 2025) 中考虑的 Kripke-Lewis 框架的某种性质来表征，并且该性质反过来表征我们提出的模态公理。