摘要：多模态的一阶谓词逻辑在有限Kripke框架或有限Kripke框架类中的算法复杂性研究。获得了具有有限可能世界的Kripke框架类的一阶逻辑的精确复杂度界限。
作者：I. Agadzhanian, M. Rybakov, D. Shkatov
论文ID：2306.13559
分类：Logic
分类简称：math.LO
提交时间：2023-06-26
PDF 下载： 英文版 中文版pdf翻译中