arXiv ID:
2602.13914
arXiv 提交日期: 2026-02-14
共同知识,始终如一 / Common Knowledge Always, Forever
1️⃣ 一句话总结
这篇论文提出了一种新的多拓扑动态逻辑系统,能够表达‘共同知识’及其变体,并证明它在闭包空间上具有有限模型性质,但在康托导数空间上则不具备。