摘要：应用骨牌问题，为经典谓词逻辑的一些已知定理提供简短证明，并获得由诺特埃环序定义的模态谓词逻辑的复杂性下界。
作者：M. Rybakov, D. Serova
论文ID：2306.13736
分类：Logic
分类简称：math.LO
提交时间：2023-06-27
PDF 下载： 英文版 中文版pdf翻译中