推倒盒子：关于 $\mathbf{K} \oplus \Box^{m+k} p \to \Box^m p$ 的 FMP
逻辑
2025-10-02 v1
摘要
是否存在形如 （其中 ）的模态逻辑具有有限模型属性（FMP），是一长期悬而未决的问题。我们通过表明，任何由形式为 （其中 ）的公式公理化的模态逻辑都具有 FMP，从而解决了这一问题。
引用
@article{arxiv.2510.00864,
title = {Knocking Down Boxes: The FMP for $\mathbf{K} \oplus \Box^{m+k} p \to \Box^m p$},
author = {Søren Brinck Knudstorp},
journal= {arXiv preprint arXiv:2510.00864},
year = {2025}
}
备注
11 pages