arXiv ID:
2602.15403
arXiv 提交日期: 2026-02-17
共同信念再探讨 / Common Belief Revisited
1️⃣ 一句话总结
这篇论文挑战了关于‘共同信念’逻辑属性的传统观点,证明了它并非简单的KD4系统,而是需要增加一个与智能体数量相关的新公理才能完整刻画。
共同信念再探讨 / Common Belief Revisited
这篇论文挑战了关于‘共同信念’逻辑属性的传统观点,证明了它并非简单的KD4系统,而是需要增加一个与智能体数量相关的新公理才能完整刻画。
共同知识,始终如一 / Common Knowledge Always, Forever
这篇论文提出了一种新的多拓扑动态逻辑系统,能够表达‘共同知识’及其变体,并证明它在闭包空间上具有有限模型性质,但在康托导数空间上则不具备。
请先 登录 后再提交论文