威廉·康雷迪;亚历山德拉·帕尔米吉亚诺;苏米特·苏拉布 代数模态对应：Sahlqvist及其他。 （英文） Zbl 1521.03031号 J.日志。阿尔盖布。方法计划。 91, 60-84 (2017). 摘要：本文对经典模态逻辑中非常著名的Sahlqvist对应理论提出了一种新的介绍性处理方法。目前治疗的第一个动机是考虑展览会经典的Sahlqvist对应关系以统一和模块化的方式呈现，与现有的教科书不同，它扩展到了Sahlqvist类之外的一类公式。第二个动机是方法学：目前的治疗旨在强调代数的和秩序理论的通信机制的性质。这个解释仍然是基本的，并且不预设任何先前的知识或对逻辑代数方法的熟悉。然而，它为非经典逻辑的Sahlqvist理论的最新发展提供了潜在的动机和基本直觉，该理论构成了所谓的统一对应理论。 引用于10文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 软件：SQEMA公司 PDF格式BibTeX公司 XML格式引用 \textit{W.Conradie}等人，J.Log。阿尔盖布。方法计划。91、60-84（2017；Zbl 1521.03031） 全文： 内政部 arXiv公司 参考文献： [1] 阿特莫夫，S。；Beklemishev，L.，Provability logic，（Gabbay，D.；Guenthner，F.，《哲学逻辑手册》，《哲学逻辑学手册》，第13卷（2005），施普林格：施普林格荷兰），189-360 [2] 北卡罗来纳州贝扎尼什维利。；Sourabh，S.，拓扑定点逻辑的Sahlqvist保持，J.Log。计算。，文章exv010 pp.（2015）·兹比尔1444.03044 [3] 布莱克本，P。；de Rijke，M。；《模态逻辑》，《剑桥理论计算机科学丛书》，第53卷（2001年），剑桥大学出版社·Zbl 0988.03006号 [4] Blok，W.，《关于模态逻辑的不完全程度》，布尔。教派。日志。，7，4，167-175（1978），（摘要）·Zbl 0418.03012号 [5] 查格罗夫，A。；Chagrova，L.，《对应理论中算法问题的真相》（Governatori，G.；Hodkinson，I.；Venema，Y.，《模态逻辑的进展》（2006），大学出版社），121-138·Zbl 1148.03012号 [6] 查格罗夫，A。；Zakharyaschev，M.，模态逻辑，牛津逻辑指南（1997），克拉伦登出版社·Zbl 0871.03007号 [7] Conradie，W.，《论DLS的力量和范围》，J.Appl。非类别。日志。，16, 3-4, 279-296 (2006) ·Zbl 1186.03042号 [8] 康拉德，W。；Craig，A.，mu-calculi的规范性结果：算法方法，J.Log。计算。（2016），即将出版，ArXiv预印本 [10] 康拉德，W。；Fomatati，Y。；Palmigiano，A。；Sourabh，S.，直觉模态微积分的算法对应，Theor。计算。科学。，564, 30-62 (2015) ·Zbl 1318.03030号 [11] 康拉德，W。；Frittella，S。；Palmigiano，A。；Piazzai，M。；Tzimoulis，A。；Wijnberg，N.，《逻辑、语言、信息和计算》，（VääNänen，J.；Hirvonen，Au.；de Queiroz，R.，《类别：我如何学会停止担忧和爱上两种类型》。《类别：如何学会停止忧虑和爱上两类类型》，LNCS，第9803卷（2016），斯普林格出版社），145-164，ArXiv预印本·Zbl 1478.03042号 [12] 康拉迪，W。；吉拉尔迪，S。；Palmigiano，A.，《统一通信》（Baltag，A.；Smets，S.，Johan van Benthem on Logic and Information Dynamics），《Johan van Benthem关于逻辑和信息动力学的杰出贡献》，第5卷（2014），斯普林格国际出版公司，933-975·Zbl 1344.03023号 [13] 康拉德，W。；Goranko，V.，《模态逻辑中的算法对应和完备性》。四、 SQEMA的语义扩展，J.Appl。非类别。日志。，18, 2-3, 175-211 (2008) ·Zbl 1181.03007号 [14] 康拉迪，W。；V.戈兰科。；Vakarelov，D.，《基本规范公式：句法、算法和模型理论方面的调查》，（Schmidt，R.；Pratt-Hartmann，I.；Reynolds，M.；Wansing，H.，《模态逻辑的进展》（2004），国王学院出版物），17-51·Zbl 1111.03017号 [15] 康拉德，W。；V.戈兰科。；Vakarelov，D.，模态逻辑I中的算法对应和完备性：核心算法SQEMA，Log。方法计算。科学。，1，5（2006年）·Zbl 1126.03018号 [16] 康拉德，W。；V.戈兰科。；Vakarelov，D.，模态逻辑中的算法对应和完备性。二、。算法SQEMA的多元和混合扩展，J.Log。计算。，16, 5, 579-612 (2006) ·邮编1128.03005 [17] 康拉德，W。；V.戈兰科。；Vakarelov，D.，模态逻辑中的算法对应和完备性。三、 带替换的SQEMA算法的扩展，Fundam。通知。，92, 4, 307-343 (2009) ·Zbl 1181.03008号 [18] 康拉德，W。；V.戈兰科。；Vakarelov，D.，模态逻辑中的算法对应和完备性。V.SQEMA的递归扩展，J.Appl。日志。，8, 4, 319-333 (2010) ·Zbl 1214.03011号 [19] 康拉德，W。；Palmigiano，A.，归纳不等式的构造性规范，提交出版，ArXiv预印本·Zbl 07243670号 [20] 康拉德，W。；Palmigiano，A.，分配模态逻辑的算法对应和规范性，Ann.Pure Appl。逻辑，163，3，338-376（2012）·Zbl 1255.03030号 [21] 康拉德，W。；Palmigiano，A.，非分配逻辑的算法对应性和规范性，提交出版，ArXiv预印本·Zbl 1255.03030号 [22] 康拉德，W。；Palmigiano，A。；Sourabh，S。；Zhao，通过伪对应的规范性和相对化规范性：ALBA的应用，提交出版，Arxiv预印本 [23] 康拉德，W。；Palmigiano，A。；Zhao，Z.，Sahlqvist通过翻译，提交出版，ArXiv预印本·Zbl 1515.03091号 [24] 康拉德，W。；Robinson，C.，《关于混合逻辑的Sahlqvist理论》，J.Log。计算。(2016) [25] 戴维，B。；Priestley，H.，《格与序导论》（2002），剑桥大学出版社·Zbl 1002.06001号 [26] de Rijke，M。；Venema，Y.，带算子布尔代数的Sahlqvist定理及其在圆柱代数中的应用，Stud.Log。，54, 1, 61-78 (1995) ·Zbl 0823.03037号 [27] Dunn，J.M。；Gehrke，M。；Palmigiano，A.，一些子结构逻辑的规范扩展和关系完备性，J.Symb。日志。，70, 3, 713-740 (2005) ·Zbl 1101.03021号 [28] Frittella，S。；Palmigiano，A。；Santocanale，L.，通过单调模态逻辑的对应理论对有限格进行对偶刻划，J.Log。计算。(2016) [29] （Gabbay，D.；Hogger，C.；Robinson，J.，《人工智能和逻辑编程逻辑手册》，第1卷（1993年），牛津大学出版社：牛津大学出版社，纽约州纽约市，美国）·Zbl 0808.68027号 [30] Gabbay，D.M。；Ohlbach，H.J.，二阶谓词逻辑中的量词消除，（Nebel，B.；Rich，C.；Swartout，W.，KR（1992），Morgan Kaufmann），425-435 [31] 北卡罗来纳州加拉托斯。；吉普森，P。；科瓦尔斯基，T。；Ono，H.，《剩余格：亚结构逻辑的代数一瞥：亚结构逻辑学的代数一见》，《逻辑研究与数学基础》（2007），爱思唯尔科学·Zbl 1171.03001号 [32] Gehrke，M。；Nagahashi，H。；Venema，Y.，分配模态逻辑的Sahlqvist定理，Ann.Pure Appl。逻辑，131，1-3，65-102（2005）·邮编1077.03009 [33] 吉拉尔迪，S。；梅洛尼，G.，《非经典逻辑中的建构经典性》，纯粹应用。逻辑，86，1，1-32（1997）·Zbl 0949.03019号 [34] Goldblatt，R.，《复代数的多样性》，《纯粹应用》。逻辑，44，3，173-242（1989）·Zbl 0722.08005号 [35] V.戈兰科。；Hustadt，U。；施密特，R.A。；Vakarelov，D.，所有Sahlqvist公式的SCAN都是完整的（RelMiCS（2003）），149-162·兹比尔1088.03019 [36] V.戈兰科。；Vakarelov，D.，《初等规范公式：扩展Sahlqvist定理》，Ann.Pure Appl。逻辑，141，1-2，180-217（2006）·Zbl 1111.03018号 [37] 格雷科·G。；马，M。；Palmigiano，A。；Tzimoulis，A。；Zhao，《作为证明理论工具的统一通信》，J.Log。计算。（2016），ArXiv预印本 [38] （Grumberg，O.；Veith，H.，《模型检验25年——历史、成就、观点》，《模型检测25年——史、成就、角度》，计算机科学讲义，第5000卷（2008），Springer）·Zbl 1139.68003号 [39] Henkin，L.，扩展布尔运算，太平洋。数学杂志。，32, 3, 723-752 (1970) ·Zbl 0218.06004号 [40] Jónsson，B.，《关于Sahlqvist身份的规范性》，Stud.Log。，53, 473-491 (1994) ·Zbl 0810.03050号 [41] Jónsson，B。；Tarski，A.，带算子的布尔代数。一、 美国数学杂志。，73, 891-939 (1951) ·Zbl 0045.31505号 [42] Kracht，M.，《模态逻辑中的工具和技术》（1999），北荷兰特出版公司：北荷兰德出版公司阿姆斯特丹·Zbl 0927.03002号 [43] Kripke，S.A.，模态逻辑的语义分析II。非正规模态命题计算，（Addison，J.W.；Henkin，L.；Tarski，A.，《模型理论》（1965））·Zbl 0163.00502号 [44] Kurtonina，N.，《范畴推理和模态逻辑》，J.Log。语言信息，7399-411（1998）·Zbl 0915.03021号 [45] le Roux，C.，多值模态逻辑中的对应理论（2016），约翰内斯堡大学：南非约翰内斯堡大学，硕士论文 [46] 利塔克，T。；帕丁森，D。；萨诺，K。；Schröder，L.，Coalgebraic谓词逻辑，（Czumaj，A.；Mehlhorn，K.；Pitts，A.；Wattenhofer，R.，自动机，语言和编程。自动机，语言和编程，计算机科学讲义，第7392卷（2012），施普林格：施普林格-柏林，海德堡），299-311·Zbl 1433.03163号 [47] 马，M。；赵，Z.，严格蕴涵的统一对应与证明理论，J.Log。计算。(2016) [48] 莫顿，W。；van Alten，C.J.，《典型fep结构》，J.Log。计算。，文章exu080 pp.（2015）·Zbl 1444.06012号 [49] Ohlbach，H.J。；Schmidt，R.，模态逻辑的函数转换和二阶框架性质，J.Log。计算。，7, 5, 581-603 (1997) ·Zbl 0976.03019号 [50] Palmigiano，A。；Sourabh，S。；Zhao，Z.，关于ALBA不等式的Jónsson式规范性，J.Log。计算。(2015) ·Zbl 1444.03071号 [51] Palmigiano，A。；Sourabh，S。；Zhao，《不可能世界的萨赫奎斯特理论》，J.Log。计算。(2016) ·Zbl 1444.03070号 [52] 保利，M。；Parikh，R.，游戏逻辑概述，Stud.Log。，75, 2, 165-182 (2003) ·Zbl 1040.03013号 [53] Pólos，L。；Hannan，M。；Hsu，G.，《社会学争论中的模式》，J.Math。社会学。，34, 3, 201-238 (2010) ·Zbl 1204.03025号 [54] Routey，R。；Meyer，R.，蕴含的语义，（《逻辑和数学基础研究》，第68卷（1973）），199-243·Zbl 0317.02017号 [55] Sahlqvist，H.，模态逻辑的一阶和二阶语义的完备性和对应性，（《逻辑和数学基础研究》，第82卷（1975）），110-143·Zbl 0319.02018号 [56] Sambin，G。；Vaccaro，V.，Sahlqvist关于模态可定义性和完备性定理的新证明，J.Symb。日志。，54, 3, 992-999 (1989) ·Zbl 0682.03009号 [57] 施罗德，L。；帕丁森，D。；Litak，T.，余代数谓词逻辑的van Benthem/Rosen定理，J.Log。计算。，文章exv043 pp.（2015）·Zbl 1388.03069号 [58] Stone，M.，《布尔代数表示理论》，Trans。美国数学。《社会学杂志》，40，1，37-111（1936） [59] 铃木，T.，《子结构和基于格的逻辑的规范性结果》，Rev.Symb。日志。，4, 1-42 (2011) ·Zbl 1229.03023号 [60] Szalas，A.，《关于模态逻辑和经典逻辑之间的对应：自动化方法》，J.Log。计算。，605-620年3月6日（1993年）·Zbl 0802.03009号 [61] 十Cate，B。；马克思，M。；Viana，J.P.，《混合逻辑与Sahlqvist公理》，Log。J.IGPL，3，293-300（2005）·Zbl 1080.03006号 [62] Thomason，S.，模态逻辑中的不完备定理，Theoria，40，1，30-34（1974）·Zbl 0287.02012号 [63] Thomason，S.，将二阶逻辑简化为模态逻辑，数学。日志。Q.，21，1，107-114（1975）·Zbl 0317.02011号 [64] Vakarelov，D.，有限数量命题变量语言中的模态可定义性和Sahlqvist类的新扩展，（Balbiani，P.；Suzuki，N.Y.；Wolter，F.；Zakharyaschev，M.，《模态逻辑的进展》（2002），国王学院出版物），499-518·Zbl 1081.03018号 [65] Vakarelov，D.，模态可定义性，模态代数中方程的求解和Ackermann引理的推广，（第五届泛希腊逻辑研讨会论文集。第五届泛希腊逻辑研讨会会议论文集，2005年7月25日至28日，希腊雅典（2005）），182-189 [66] van Benthem，J.，模态简化原理，J.Symb。日志。，41, 2, 301-312 (06 1976) ·Zbl 0337.02014号 [67] 范·本特姆，J.，《模态逻辑和经典逻辑》，《索引：哲学逻辑和形式语言学专著》，第3卷（1985年），书目·Zbl 0639.03014号 [68] van Benthem，J.，对应理论，（Gabbay，D.M.；Guenthner，F.，《哲学逻辑手册》，第3卷（2001），Kluwer学术出版社），325-408·Zbl 1003.03518号 [69] van Benthem，J.，《模态框架对应和定点》，Stud.Log。，83, 1-3, 133-155 (2006) ·Zbl 1106.03017号 [70] van Benthem，J.，《开放思维的模态逻辑》，CSLI课堂讲稿（2010），语言与信息研究中心 [71] van Benthem，J。；北卡罗来纳州贝扎尼什维利。；Hodkinson，I.，模态微积分的Sahlqvist对应，Stud.Log。，100, 1-2, 31-60 (2012) ·Zbl 1404.03021号 [72] van Benthem，J。；北卡罗来纳州贝扎尼什维利。；霍利迪，W.H.，《可能性语义学的双峰视角》，J.Log。计算。(2016) [73] （van Benthem，J.；ter Meulen，A.，《逻辑和语言手册》（1997），爱思唯尔：爱思唯尔阿姆斯特丹）·Zbl 0874.03001号 [74] Wolter，F。；Zakharyaschev，M.，作为经典双模逻辑片段的直觉主义模态逻辑，（Logic at Work（1997）），168-186·Zbl 0922.03023号 [75] Wolter，F。；Zakharyaschev，M.，直觉主义和经典模态逻辑之间的关系，代数逻辑学。，36, 2, 73-92 (1997) ·Zbl 0937.03033号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。