图灵施默尔演算的关系语义
逻辑
2018-04-30 v2
摘要
在 arXiv:1604.08705 中，作者引入了命题模态逻辑 （代表 Turing Schmerl Calculus，图灵施默尔演算），它充分描述了不同类型图灵进展之间的可证相互关系。本文定义了一个模型 ，并证明它是 的一个通用模型。模型 是对已被深入研究的 : Ignatiev 通用模型的一个轻微修改，后者用于 Gödel Löb 多态可证逻辑 的封闭片段。
引用
@article{arxiv.1709.04715,
title = {Relational Semantics for the Turing Schmerl Calculus},
author = {Eduardo Hermo Reyes and Joost J. Joosten},
journal= {arXiv preprint arXiv:1709.04715},
year = {2018}
}