摘要：一种对克里普克技巧的改进：模拟传统一阶公式的二元谓词文字，并与模态一阶公式相结合。同时讨论技巧不适用的情况。得出了一些模态和超直觉一阶逻辑的单模态片段的算法上界结果。
作者：M. Rybakov, D. Shkatov
论文ID：2307.02805
分类：Logic
分类简称：math.LO
提交时间：2023-07-07
PDF 下载： 英文版 中文版pdf翻译中