×
迪米特·乔治耶夫。

确定性SQEMA及其在预接触逻辑中的应用。 （英语） Zbl 1474.03074号

上帝。沙发。法国大学。材料通知。 103149-176（2016）.
总结：SQEMA是一组用于查找模态公式的一阶对应项的规则，可用于证明公理完备性。SQEMA成功应用于Sahlqvist和Inductive公式。
提出了一种基于SQEMA的确定性、终止性、但有时会失败的算法，用于具有名词、反转模态和通用模态（ML（T，U））的模态语言。确定性SQEMA发现了一阶对应项，可以用来证明双持久性。它在Sahlqvist和归纳公式中取得了成功。
给出了（ML（T，U））的公理系统，并证明了它的强完备性。结果表明，添加双持久公式作为公理可以保持强完备性。确定性SQEMA通过修改翻译为\（ML（T，U）\）扩展为预接触逻辑语言。确定性SQEMA成功应用于Sahlqvist类接触前配方。

MSC公司：

03B45号 模态逻辑（包括规范逻辑）

关键词：

通信;模态逻辑;Sahlqvist公式;SQEMA公司

软件：

SQEMA公司
PDF格式BibTeX公司 XML格式引用
\textit{D.T.Georgiev}，上帝。沙发。法国大学。材料通知。103、149--176（2016年；Zbl 1474.03074）
全文： 链接

参考文献：

[1] Balbiani，P.，Tinchev，T.，Vakarelov，D.：基于区域的空间理论的模态逻辑。《基础信息》，2007年第81期，IOS出版社，29-82·Zbl 1142.03012号
[2] Balbiani，P.，Kikot，S.：预接触逻辑的Sahlqvist定理。AiML，2014年9月·Zbl 1291.03031号
[3] Blackburn，P.，de Rijke，M.，Venema，Y.：模态逻辑，《剑桥理论计算机科学丛书》，剑桥大学出版社，2002年。
[4] Chagrova，L.：对应理论中的一个无法确定的问题。J.塞姆。逻辑，561991年，1261-1272·Zbl 0737.03018号
[5] Conradie，W.，Goranko，V.，Vakarelov，D.：基本规范公式：句法、算法和模型理论方面的综述。AiML，2005年5月17日至51日·Zbl 1111.03017号
[6] Conradie，W.，Goranko，V.，Vakarelov，D.：模态逻辑中的算法对应和完备性。一、核心算法SQEMA。LMCS2（1:5），2006年，1-26·Zbl 1126.03018号
[7] Conradie，W.，Goranko，V.，Vakarelov，D.：模态逻辑中的算法对应性和完备性II。算法SQEMA的多元和混合扩展。逻辑计算杂志。，第16期，第5期，2006年，579-612·邮编1128.03005
[8] Conradie，W.，Goranko，V.，Vakarelov，D.：模态逻辑中的算法对应性和完整性。三、 带替换的SQEMA算法的扩展。基金。Informaticae，第92期，第4期，2009年，307-343·Zbl 1181.03008号
[9] Conradie，W.，Goranko，V.，Vakarelov，D.：模态逻辑中的算法对应和完备性。五、SQEMA的递归扩展。J.应用。《逻辑》第8卷第4期，2010年，319-333页·Zbl 1214.03011号
[10] Conradie，W.，Goranko，V.：模态逻辑中的算法对应和完备性IV.SQEMA的语义扩展。J.应用。《非经典逻辑》，第18期，第2-3期，2012年，第175-211页·Zbl 1181.03007号
[11] Gabbay，D.，Ohlbach，H.J.：二阶谓词逻辑中的量词消除。《南非计算机杂志》，1992年7月，35-43页。
[12] Gargov，G.，Goranko，V.：具有名称的模态逻辑。J.Phil.Logic，22，1993，607-636·Zbl 0793.03012号
[13] Georgiev，D.：计算模态公式一阶对应的算法SQEMA的实现。索菲亚大学硕士论文，FMI，2006年。
[14] Georgiev，D.：具有通用模态的SQEMA。摘自：《第十届泛希腊逻辑研讨会论文集》，2015年，第76-81页。
[15] Goranko，V.，Vakarelov D.：混合多音模态语言中的Sahlqvist公式。逻辑与计算杂志。，11，第5期，2001年，737-754·Zbl 0993.03013号
[16] Goranko，V.，Vakarelov，D.：初等规范公式：扩展Sahlqvist定理。Ann.纯粹应用。《逻辑学》，141，第1-2期，2006，180-217·Zbl 1111.03018号
[17] Passy，S.，Tinchev，T.：带数据常量的PDL。《信息处理快报》，1985年第20期，第35-41页·Zbl 0577.68046号
[18] Passy，S.，Tinchev，T.：组合动态逻辑论文。信息与计算，93，1991，263-332·Zbl 0732.03021号
[19] Sahlqvist，H.：模态逻辑的一阶和二阶语义的完整性和对应性。摘自：1975年第三届斯堪的纳维亚逻辑研讨会论文集，第110-143页·兹比尔0319.02018
[20] Szalas，A.：关于模态逻辑和经典逻辑之间的对应：自动化方法。逻辑与比较杂志。，第3期，第6期，1993年，605-620页·Zbl 0802.03009号
[21] ten Cate，B.：《扩展模态语言的模型理论》，逻辑、语言和计算研究所博士论文，2005年，第5章，第69-89页。
[22] Vakarelov D.：阿克曼引理的递归推广及其在模态µ可定义性中的应用。摘自：第六届泛希腊逻辑研讨会论文集，2007年7月5日至8日，希腊沃洛斯，第133-137页
[23] 范·本特姆（J.van Benthem）。
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。