亚历山德拉·帕尔米吉亚诺;苏米特·苏拉布;赵志光 不可能世界的萨勒奎斯特理论。 （英语） Zbl 1444.03070号 J.日志。计算。 27，第3期，775-816（2017）. 摘要：我们将统一对应理论扩展到具有不可能世界及其关联的克里普克框架有规律的模态逻辑。这些逻辑的模态连接词不需要是正常的：只有较弱的可加性\[\菱形x\vee\diamond y=\diamond（x\vee y）\]和多重性\[\square x\wedget\square y=平方（x\wecked y）\]是必需的。从概念上讲，有人认为，它们缺乏必要性使得常规模态逻辑比常规模态逻辑更适合于认知和道义设置的形式化。从技术角度来看，正则性被证明是非常自然的，足以处理代数规范性Jónsson-style。事实上，可加性和可乘性是将Jónsson最初的规范性证明推广到某些正则分配模态逻辑的完整Sahlqvist类的关键，它自然地推广了分配模态逻辑。最有趣的是，相加性和乘法性是Jónsson风格规范性的关键，在原文中也是如此（即。正常的DML。我们的贡献包括：在分配格命题基上定义正则模态逻辑的Sahlqvist不等式；按照Jónsson的策略证明他们的正统性；算法ALBA适应于两个非经典（分配格和直觉）基上正则模态逻辑的设置；证明了自适应ALBA在语法定义的类上是成功的，该类适当地包含了Sahlqvist类；最后，应用前面的结果，以获得莱蒙认知逻辑E2-E5关于具有不可能世界的克里普克框架的初等类的强完备性的证明。 引用于12文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 关键词：正则模态逻辑;认知逻辑;代数Sahlqvist规范性;算法对应;正则归纳公式和不等式;莱蒙逻辑E2-E5 软件：SQEMA公司 PDF格式BibTeX公司 XML格式引用 \textit{A.Palmigiano}等人，J.Log。计算。27，第3号，775--816（2017；Zbl 1444.03070） 全文： DOI程序 arXiv公司