可判定不动点逻辑中的可定义性与插值问题
摘要：探究可在富有鉴定能力的逻辑体系如受限不动点逻辑、一元否定不动点逻辑和受限否定不动点逻辑中表达的公式。我们考虑了定义性的语义描述以及有效性的描述。我们的算法围绕树模型特性的更精细分析和在关系逻辑和树逻辑之间来回转换方法的改进展开。
作者：Michael Benedikt, Pierre Bourhis, Michael Vanden Boom
论文ID：1705.01823
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22