×
伊迪丝·赫玛斯潘德拉

普遍性的代价。 （英语） Zbl 0865.03032号

圣母院J.形式逻辑 37，第2期，174-203（1996）.
本文是对命题模态逻辑可满足性问题复杂性领域的一个重要贡献。它探讨了添加全局模态、“通用”模态（U模态）和“可达性”模态（R模态）对上述复杂性的影响。
首先，作者给出了一个具有可判定（事实上，在NP中）可满足性问题的单模逻辑示例，其中添加U模态会导致不可判定，而R模态会导致高不可判定。逻辑甚至可以被认为是有限的公理化和规范化的；因此，戈兰科和帕西的猜想被驳斥了。然后，对于表现良好的帧类，可以确定（R）模态“至少与”（U）模态“一样难”的直观推测；对于非行为良好的类，证明了（U）模态可以比（R）模态更加困难。最后，说明了当将（U）模态或（R）模态添加到具有独立模态的多模态逻辑中时，EXPTIME-hard出现的原因。这是不正确的特殊类被充分描述。
审核人：P.Jančar（俄斯特拉发）

引用于19文件

MSC公司：

2015年3月1日 计算复杂性（包括隐式计算复杂性）
03B45号 模态逻辑（包括规范逻辑）

关键词：

复杂性;可满足性;命题模态逻辑;多模态逻辑
PDF格式BibTeX公司 XML格式引用
\textit{E.Hemaspandra}，圣母院J.形式逻辑37，第2期，174--203（1996；Zbl 0865.03032）
全文： 内政部

参考文献：

[1] Balcázar，J.、J.Díaz和J.Gabarró，结构复杂性I，EATCS理论计算机科学专著第11卷，Springer-Verlag，柏林，1995年·Zbl 0638.68040号
[2] Ben-Ari，M.、J.Halpern和A.Pnueli，“确定性命题动态逻辑：有限模型、复杂性和完整性”，《计算机与系统科学杂志》，第25卷（1982年），第402-417页·Zbl 0512.03013号 ·doi:10.1016/0022-0000（82）90018-6
[3] Berger，R.，“多米诺骨牌问题的不可判定性”，《美国数学学会回忆录》，第66卷（1966年）·Zbl 0199.30802号
[4] Blackburn，P.和E.Spaan，“属性值语法计算复杂性的模式视角”，《逻辑、语言和信息杂志》，第2卷（1993年），第129-169页·Zbl 0793.03018号 ·doi:10.1007/BF01050635
[5] Emerson，E.和J.Halpern，“分支时间时序逻辑中的决策过程和表达”，《计算机与系统科学杂志》，第30卷（1985年），第194-211页·Zbl 0559.68051号 ·doi:10.1016/0022-0000（85）90001-7
[6] Fine，K.和R.Schurz，“多模态逻辑的传递定理”，《亚瑟先前纪念会议论文集》，新西兰基督城，1989年·Zbl 0919.03015号
[7] Fischer，M.和R.Ladner，“常规程序的命题动态逻辑”，《计算机与系统科学杂志》，第18卷（1979年），第194–211页·Zbl 0408.03014号 ·doi:10.1016/0022-0000（79）90046-1
[8] Goranko，V.和S.Passy，“使用通用形式：收益和问题”，《逻辑与计算杂志》，第2卷（1992年），第5-30页·Zbl 0774.03003号 ·doi:10.1093/logcom/2.1.5
[9] Halpern，J.和M.Moses，“知识和信念模态逻辑的完整性和复杂性指南”，《人工智能》，第54卷（1992年），第319-379页·Zbl 0762.68029号 ·doi:10.1016/0004-3702（92）90049-4
[10] Halpern，J.和M.Vardi，“知识与时间推理的复杂性，I：下限”，《计算机与系统科学杂志》，第38卷（1989年），第195-237页·Zbl 0672.03015号 ·doi:10.1016/0022-0000（89）90039-1
[11] Harel，D.，“反复出现的多米诺骨牌：使高度不可判定的东西变得高度可理解”，第177-194页，《计算理论基础会议记录》，Springer计算机科学讲稿158，Springer-Verlag，柏林，1983年·Zbl 0531.68002号
[12] Harel，D.，“无限树上的有效转换，应用于高度不可判定性、多米诺骨牌和公平”，《美国计算机学会期刊》，第33卷（1986年），第224-248页·数字对象标识代码：10.1145/4904.4993
[13] Harel，D.、A.Pnueli和J.Stavi，“非规则程序的命题动态逻辑”，《计算机与系统科学杂志》，第26卷（1983年），第222-243页·Zbl 0536.68041号 ·doi:10.1016/0022-0000（83）90014-4
[14] Hemaspaandra，E.，“模态逻辑的复杂性转移”，第164-173页，《第九届IEEE计算机科学逻辑研讨会论文集》（LICS’94），IEEE计算机社会出版社，洛斯阿拉米托斯，1994年。
[15] Hughes，G.和M.Cresswell，《模态逻辑的伴侣》，伦敦梅休出版社，1984年·兹比尔06250.3005
[16] Kracht，K.和F.Wolter，“独立公理化双模逻辑的性质”，《符号逻辑杂志》，第56卷（1991年），第1469-1485页。JSTOR公司：·Zbl 0743.03013号 ·doi:10.2307/2275487
[17] Ladner，R.，“模态逻辑系统可证明性的计算复杂性”，《SIAM计算杂志》，第6卷（1977年），第467-480页·Zbl 0373.02025号 ·数字对象标识代码：10.1137/0206033
[18] Ladner，R.、N.Lynch和A.Selman，“多项式时间缩减的比较”，《理论计算机科学》，第1卷（1975年），第103–123页·Zbl 0321.68039号 ·doi:10.1016/0304-3975（75）90016-X
[19] Ladner，R.和J.Reif，“分布式协议的逻辑”，第207-221页，《知识推理的理论方面：1986年会议记录》，Morgan Kaufmann，Los Altos，1986年。
[20] Lewis，H.，“谓词演算决策问题可解案例的复杂性”，第35-47页，《第19届IEEE计算机科学基础研讨会论文集》，IEEE计算机社会出版社，洛斯阿拉米托斯，1978年。hrefhttp://www.ams.org/mathscinet-getitem？mr=80e:03041MR80电话：03041
[21] Parikh，R.，“程序的命题逻辑：系统、模型和复杂性”，第186-192页，第七届美国计算机学会编程语言原理研讨会，美国计算机学会出版社，纽约，1980年·Zbl 0468.68038号
[22] Pratt，V.，“程序逻辑模型”，第115-122页，《第20届IEEE计算机科学基础研讨会论文集》，IEEE计算机社会出版社，洛斯阿拉米托斯，1979年。
[23] Robinson，R.，“平面瓷砖的不确定性和非周期性”，《数学发明》，第12卷（1971年），第177-209页·Zbl 0197.46801号 ·doi:10.1007/BF01418780
[24] Sahlqvist，H.，“模态逻辑的一阶和二阶语义的完整性和对应性”，第110–143页，《第三届斯堪的纳维亚逻辑研讨会论文集》，荷兰北荷兰特，阿姆斯特丹，1975年·Zbl 0319.02018号
[25] Sistla，A.和E.Clarke，“命题线性时序逻辑的复杂性”，《ACM杂志》，第32卷（1985年），第733–749页·Zbl 0632.68034号 ·数字对象标识代码：10.1145/3828.3837
[26] Spaan，E.，“下一个时间是不必要的”，第241-256页，载于《关于知识推理的理论方面的第三届会议论文集》，Morgan Kaufmann，Los Altos，1990年。
[27] van Emde Boas，P.，“多米诺骨牌是永恒的”，第75-95页，第一届GTI研讨会，帕德博恩，1983年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。