Turing Schmerl演算的关系语义
Relational Semantics for the Turing Schmerl Calculus
摘要：
在arXiv：1604.08705中，作者介绍了命题模态逻辑$\textbf{TSC}$（代表图灵-施梅尔演算），它充分描述了不同类型的图灵级数之间的可证明的相互关系。本文定义了一个模型$\mathcal{J}$，证明它是$\textbf{TSC}$的万有模型。模型$\mathcal{J}$是对深入研究的$\mathcal{I}$的轻微修改：Ignatiev为哥德尔·勒布的多模态可证明性逻辑$\textbf{GLP}$的闭合片段建立的万有模型。
英文摘要：
In arXiv:1604.08705 the authors introduced the propositional modal logic $\textbf{TSC}$ (which stands for Turing Schmerl Calculus) which adequately describes the provable interrelations between different kinds of Turing progressions. The current paper defines a model $\mathcal{J}$ which is proven to be a universal model for $\textbf{TSC}$. The model $\mathcal{J}$ is a slight modification of the intensively studied $\mathcal{I}$ : Ignatiev's universal model for the closed fragment of Gödel Löb's polymodal provability logic $\textbf{GLP}$.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
