.png){kind=icon}
返回
Algebraic Semantics for Interpretability Logics
.png){kind=icon}
PRE
AI
DOI：10.1007/s10849-026-09460-4.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
本文为可解释性逻辑定义代数语义，这是一类扩展模态可证性逻辑GL的家族逻辑，旨在形式化算术理论之间相对可解释性的概念。这些逻辑的标准Kripke类语义（称为Veltman语义）对于基本系统IL的某些扩展缺乏完备性。我们定义了可解释代数的概念，并证明Veltman语义只是该语义的一个特例，通过证明每个Veltman框架对应于一个特定的可解释代数。我们还证明基本系统IL相对于本文定义的所有可解释代数类是完备的。此外，IL的每个扩展相对于适当可解释代数类都是可靠且完备的。
Keyword:
Modal logic
Interpretability logic
Veltman semantics
Algebraic semantics
Boolean algebras
Modal algebras
Completeness
