对 S5 语义的本质代数视角
逻辑
2025-11-04 v1
摘要
我们表明，有限 S5 代数（等价于有限具反射、对称和传递性的 Kripke 框架）的范畴对分类本质代数理论起作用，该理论的模型是有限对称群的忠诚作用的 Kan 延拓。
引用
@article{arxiv.2511.00188,
title = {An essentially algebraic glance to Kripke semantics: the S5 case},
author = {Matteo De Berardinis and Silvio Ghilardi},
journal= {arXiv preprint arXiv:2511.00188},
year = {2025}
}