×
查尔基，阿格利基;科斯塔斯·库特拉斯。;尤戈斯·齐科斯

关于复杂性的注释S4.2标准. （英语） Zbl 1515.03090号

J.应用。非类别。日志。 31，第2号，108-129（2021）.
总结：S4.2标准是的模态逻辑有向部分预订单和/或的模态逻辑反射的和传递关系框架用一个最后一组它在哲学逻辑中占有突出地位，被认为是“正确的”知识逻辑；它还在时序逻辑属于相对论时空和元数学强制在集合论中。的可满足性问题S4.2标准PSPACE完成了吗：这是在[I.夏皮洛夫斯基，in：模态逻辑的进展。第5卷。2004年9月9日至11日在英国曼彻斯特举行的第五届会议（AiML 2004）上的论文选集。伦敦：国王学院出版。269–287 (2005;兹比尔1102.03020)]其中的复杂性分类S4.2标准这是为传递模态逻辑构造PSPACE决策过程的一种非常通用的方法的结果。我们在这里提供了标准Halpern-Moses风格的“经典”证明J.Y.哈尔佩恩和Y.摩西[《情报汇编》第54卷第3期，319–379页（1992年；Zbl 0762.68029号)]. 只需很少的额外工作，就可以将PSPACE-完整性结果扩展到S4.2（_n），的多模式版本S4.2标准.我们证明了单峰的PSPACE-完备性特征S4.2标准即使我们将自己限制在模态深度有界的碎片上，也会持续存在，但问题是S4.2标准-当它被限制为模态深度最多为1的公式时完成。复杂的S4.2标准语言片段与有限数量的命题变量（但无限的模态深度）的可满足性仍然是PSPACE困难的。对于有限语言和有界模态深度，S4.2标准-可满足性可以在线性时间内进行检查。

MSC公司：

03B45号 模态逻辑（包括规范逻辑）
2015年3月1日 计算复杂性（包括隐式计算复杂性）
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）

关键词：

模态逻辑;多模态逻辑的复杂性;S4.2逻辑;表格证明程序

引文：

Zbl 1102.03020号;Zbl 0762.68029号
PDF格式BibTeX公司 XML格式引用
\textit{A.Chalki}等人，J.Appl。非类别。日志。31，第2号，108--129（2021；Zbl 1515.03090）
全文： 内政部

参考文献：

[1] Arora，S。；Barak，B.，《计算复杂性：现代方法》（2009），剑桥大学出版社·Zbl 1193.68112号
[2] 布莱克本，P。；de Rijke，M。；Venema，Y.，模态逻辑（2001），剑桥大学出版社·Zbl 0988.03006号
[3] 卡尼埃利，W。；Pizzi，C.，《模式与多模式》（2008），施普林格出版社·Zbl 1210.03017号
[4] 查格罗夫，A。；Zakharyashev，M.，模态逻辑（1997），牛津大学出版社·Zbl 0871.03007号
[5] Chalki，A。；库特拉斯，哥伦比亚特区。；Zikos，Y.，模态逻辑S4.2快速导览，IGPL逻辑杂志，26，4，429-451（2018）·Zbl 1492.03006号 ·doi:10.1093/jigpal/jzy008
[6] 达戈斯蒂诺，M。；Gabbay，D.M。；Hähnle，R。；Posegga，J.，《表格方法手册》（1999），施普林格·Zbl 0956.03001号
[7] Davey，B.A。；Priestley，H.A.，《格与序导论》（2002），剑桥大学出版社·Zbl 1002.06001号
[8] Gasquet，O.、Herzig，A.、Said，B.和Schwarzentruber，F.（2013）。克里普克的世界：通过tableaux介绍模态逻辑。普适逻辑研究。Birkhä用户·Zbl 1280.03001号
[9] Goldblatt，R.，《时间与计算的逻辑》（1992），斯坦福大学CSLI
[10] Goré，R.，命题正规模态逻辑的半分析表及其在非单调性中的应用，Logique et Analyse，133-134，73-104（1991）·Zbl 0799.03015号
[11] Goré，R.（1999）。模态和时序逻辑的表au方法。M.D’Agostino、D.M.Gabbay、R.Hähnle和J.Posegga（编辑），表格方法手册（第287-396页）。斯普林格·Zbl 0972.03529号
[12] Halpern，J.Y.，界定原始命题的数量和嵌套深度对模态逻辑复杂性的影响，人工智能，75,2361-372（1995）·Zbl 1014.03508号 ·doi:10.1016/0004-3702（95）00018-A
[13] 哈尔彭，J.Y。；Moses，Y.，《知识和信念模态逻辑的完整性和复杂性指南》，《人工智能》，54，2，319-379（1992）·Zbl 0762.68029号 ·doi:10.1016/0004-3702（92）90049-4
[14] 哈姆金斯，J.D。；Löwe，B.，《强迫的模态逻辑》，《美国数学学会学报》，360，4，1793-1817（2008）·Zbl 1139.03039号 ·doi:10.1090/S002-9947-07-04297-3
[15] 霍默，S。；Selman，A.L.，可计算性和复杂性理论（2011），Springer·兹比尔1248.68192
[16] 休斯，G.E。；Cresswell，M.J.，模态逻辑新导论（1996），劳特利奇·Zbl 0855.0302号
[17] Ladner，R.E.，模态命题逻辑系统可证明性的计算复杂性，SIAM计算杂志，6，3，467-480（1977）·Zbl 0373.02025号 ·数字对象标识代码：10.1137/0206033
[18] Lenzen，W.，《认知逻辑的最新研究》（1978年），北荷兰·Zbl 0397.0302号
[19] Lenzen，W.，《认识论》，Betrachtungen zu[S4，S5]，Erkentnis，14，33-56（1979）·doi:10.1007/BF00205012
[20] Maksimova，L.和Voronkov，A.（2003）。模态和直觉计算中一些问题的复杂性。M.Baaz&J.A.Makowsky（编辑），计算机科学逻辑，第17届国际研讨会，CSL 2003，EACSL第12届年会，以及第8届库尔特·哥德尔学术讨论会，KGC 2003，奥地利维也纳，2003年8月25-30日，会议记录。LNCS第2803卷（第397-412页）。斯普林格·Zbl 1116.03328号
[21] Marx，M.（2007）
[22] Mundhenk，M.和Weiß，F.（2010年）。直觉逻辑及其模态伙伴的模型检查的复杂性。A.Kucera&I.Potapov（编辑），第四届可达性问题国际研讨会论文集，RP 2010。LNCS第6227卷（第146-160页）。斯普林格·Zbl 1287.68110号
[23] Papadimitriou，C.M.，《计算复杂性》（1994），艾迪森·韦斯利·Zbl 0833.68049号
[24] Shapirovsky，I.（2004）。论传递模态逻辑中的PSPACE-可判定性。R.A.Schmidt、I.Pratt-Hartmann、M.Reynolds和H.Wansing（编辑），《模态逻辑进展5》（第269-287页）。国王学院出版物·兹比尔1102.03020
[25] Spaan，E.（1993）。模态逻辑的复杂性[阿姆斯特丹大学博士论文]·Zbl 0831.03005号
[26] Stalnaker，R.，《论知识和信仰的逻辑》，《哲学研究》，128，1，169-199（2006）·doi:10.1007/s11098-005-4062-y
[27] Stockmeyer，L.J.和Meyer，A.R.（1973）。需要指数时间的单词问题：初步报告。A.V.Aho、A.Borodin、R.L.Constable、R.W.Floyd、M.A.Harrison、R.M.Karp和H.R.Strong（编辑），第五届年度ACM计算理论研讨会论文集（第1-9页）。ACM·Zbl 0359.68050号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。