可解释性逻辑中极大一致集之间关系的安全标签与关键标签
逻辑
2022-03-01 v2
摘要
关键后继[dJV90]的概念几乎在可解释性逻辑的所有模态完备性证明中都处于核心地位。在本文中，我们将使用一种替代概念，即可保证后继(assuring successor)。正如我们将看到的，这将使得无论是相对于普通还是广义 Veltman 语义，都能给出表述更为简洁的完备性证明。由于其有趣的理论性质，我们将留出一定篇幅研究一种特殊的可保证标签，即所谓的满标签与极大标签。在对可保证性作一般性处理之后，我们将其应用于获得某些完备性结果。具体而言，我们给出了 ILW 相对于普通语义以及 ILP 相对于广义语义的完备性的另一种证明。
引用
@article{arxiv.2003.04623,
title = {Assuring and critical labels for relations between maximal consistent sets for interpretability logics},
author = {Evan Goris and Marta Bílková and Joost J. Joosten and Luka Mikec},
journal= {arXiv preprint arXiv:2003.04623},
year = {2022}
}
备注
38 pages, 8 figures