×
朱哈·科廷宁;安蒂·库西斯托;彼得·洛曼;乔尼·维特玛

双变量相关逻辑和IF逻辑的复杂性。 （英语） Zbl 1310.03042号

Inf.计算。 239, 237-253 (2014).
摘要：我们研究了依赖逻辑和独立友好逻辑的双变量片段（mathsf{D}^2）和（mathsf{IF}^2。我们考虑了这些逻辑的可满足性和有限可满足性问题，并证明了对于（mathsf{D}^2），这两个问题都是NEXPTIME-完全的，而对于（mathsf{IF}^2。我们还证明了\（\mathsf{D}^2）严格地比\（\mathsf{IF}^2”表达更少，并且已经在\（\ mathsf}D}^2\）中表示了两个一元谓词的相等性和无穷大（后者在常量符号的存在下）。

引用于1审查
引用于8文件

MSC公司：

03B60号 其他非经典逻辑
03B25号 理论和句子集的可决定性
2015年3月1日 计算复杂性（包括隐式计算复杂性）
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）

关键词：

依赖逻辑;独立友好逻辑;双变量逻辑;可判定性;复杂性;可满足性;表现力
PDF格式BibTeX公司 XML格式引用
\textit{J.Kontinen}等人，《信息计算》。239237--253（2014年；Zbl 1310.03042）
全文： 内政部

参考文献：

[1] Abramsky，S.，不完全信息的多智能体逻辑的组合博弈语义，（van Benthem，J.；Gabbay，D.；Lowe，B.，Texts in Logic and Games，vol.1（2007）），11-48·Zbl 1196.68241号
[2] Berger，R.，《多米诺问题的不确定性》，Mem。美国数学。Soc.，第66卷（1966），美国数学学会·Zbl 0199.30802号
[3] 布拉德菲尔德，J.C。；Kreutzer，S.，独立友好不动点逻辑的复杂性，（CSL（2005）），355-368·兹比尔1136.03312
[4] Caicedo，X。；Dechesne，F。；Janssen，T.M.V.，《不完全信息逻辑的等价性和量词规则》，Log。J.IGPL，17，1，91-129（2009）·Zbl 1160.03007号
[5] Church，A.，关于Entscheidungsproblem的注释，J.Symb。日志。，1, 1, 40-41 (1936)
[6] Enderton，H.B.，《有限偏序量词》，Z.数学。日志。格兰德。数学。，16, 393-397 (1970) ·Zbl 0193.29405号
[7] Etessami，K。；瓦尔迪，M.Y。；Wilke，T.，双变量一阶逻辑和一元时态逻辑，Inf.Compute。，179, 2, 279-295 (2002) ·Zbl 1096.03013号
[8] Gurevich，Y.S。；Koryakov，I.O.，关于Berger关于多米诺骨牌问题的论文的评论，Sib。数学。J.，13，319-321（1972）·Zbl 0248.02053号
[9] Grädel，E。；Kolaitis，P.G。；Vardi，M.Y.，关于二变量一阶逻辑的决策问题，Bull。符号。日志。，3, 1, 53-69 (1997) ·Zbl 0873.03009号
[10] Grädel，E。；Otto，M.，《关于双变量逻辑》，Theor。计算。科学。，224, 73-113 (1999) ·Zbl 0948.03023号
[11] Grädel，E。；奥托，M。；Rosen，E.，带计数的双变量逻辑是可判定的，（第十二届IEEE计算机科学逻辑研讨会论文集。第十二届EEE计算机科学逻辑会议论文集，LICS’97（1997年6月）），306-317
[12] Grädel，E。；奥托，M。；Rosen，E.，二变量逻辑的不确定性结果，（STACS’97：第14届计算机科学理论方面年度研讨会论文集（1997），Springer-Verlag:Springer-Verlag London，UK），249-260·Zbl 1498.03026号
[14] Harel，D.，无限树上的有效变换，及其在高不可判定性、多米诺骨牌和公平性中的应用，美国计算机学会，33，1224-248（1986）
[15] Henkin，L.，《关于无限长公式的一些评论》，（无限方法。无限方法，华沙，1959年。无限方法。无限论方法，华沙，1959年，Proc。交响乐。数学基础。（1961），佩加蒙：佩加蒙牛津），167-183·Zbl 0121.25308号
[16] Henkin，L.，《仅包含有限数量符号的逻辑系统》（1967年），蒙特利尔大学出版社：蒙特利尔大学出版社·Zbl 0164.30702号
[17] Hintikka，J.，《重温数学原理》（1996），剑桥大学出版社：剑桥大学出版社·Zbl 0869.03003号
[18] Hodges，W.，《不完全信息语言的合成语义》，Log。J.IGPL，5，4，539-563（1997），（电子版）·Zbl 0945.03034号
[19] Hodges，W.，《一些奇怪的量词》（Structures in Logic and Computer Science，Lect.Notes Compute.Sci.，vol.1261（1997），Springer:Springer Berlin），第51-65页·Zbl 0883.03022号
[20] 辛提卡，J。；Sandu，G.，信息独立作为一种语义现象，（《科学的逻辑、方法论和哲学》，第八卷，《科学的逻辑学、方法论与哲学》，莫斯科，1987年。逻辑、方法论和科学哲学，VIII。《逻辑、方法论和科学哲学》，第八卷，莫斯科，1987年，《逻辑发现研究》。数学。，第126卷（1989年），《北荷兰：北荷兰阿姆斯特丹》，571-589·Zbl 0683.03004号
[21] Kontine，J。；库西斯托，A。；Lohmann，P.等人。；Virtema，J.，二变量相关逻辑和IF-逻辑的复杂性，（第26届IEEE计算机科学逻辑研讨会论文集。第26届EEE计算机科学逻辑会议论文集，LICS’11（2011）），289-298
[22] Kieronski，E。；Otto，M.，二变量一阶逻辑的小子结构和可判定性问题，（第20届IEEE计算机科学逻辑研讨会论文集。第20届EEE计算机科学逻辑会议论文集，LICS’05（2005）），448-457
[23] 罗曼，P。；Vollmer，H.，模态依赖逻辑的复杂性结果，（《第19届计算机科学逻辑会议论文集》，《第19次计算机科学逻辑大会论文集》（Lect.Notes Compute.Sci.，第6247卷（2010），Springer:Springer Berlin/Heidelberg），411-425·Zbl 1270.03048号
[24] 莫蒂默，M.，《关于双变量语言的数学》。日志。Q.，21，1，135-140（1975）·兹宝利0343.02009
[25] Mann，A.L。；Sandu，G。；Sevenster，M.，《独立友好逻辑：博弈论方法》，伦敦。数学。Soc.Lect（社会学）。注释序列号。（2011），剑桥大学出版社·Zbl 1218.03002号
[26] Pratt-Hartmann，I.，带计数量词的二元片段的复杂性，J.Log。语言信息，14，369-395（2005）·兹比尔1082.03007
[27] 帕霍尔斯基，L。；Szwast，W。；Tendra，L.，带计数的二元逻辑的复杂性，（第十二届IEEE计算机科学逻辑研讨会论文集。第十二届EEE计算机科学逻辑会议论文集，LICS’97（1997）），318-327
[28] Scott，D.，《两个变量中句子有效性的判定方法》，J.Symb。日志。，27, 377 (1962)
[29] Sevenster，M.，《模式依赖逻辑的模型理论和计算特性》，J.Log。计算。，1157-1173年6月19日（2009年）·Zbl 1193.03042号
[30] 图灵，A.，《关于可计算数字，以及对Entscheidungsproblem的应用》，Proc。伦敦。数学。社会学，2，42，230-265（1936）
[31] Väänänen，J.，《依赖逻辑：独立友好逻辑的新方法》，伦敦。数学。《社会学研究文本》，第70卷（2007年），剑桥大学出版社·Zbl 1117.03037号
[32] Väänänen，J。；Hodges，W.，被解释为原子公式的变量相关性，Ann.Pure Appl。日志。，161, 6, 817-828 (2010) ·Zbl 1225.03026号
[33] Walkoe，W.J.，《有限偏序量化》，J.Symb。日志。，35, 535-555 (1970) ·Zbl 0219.02008年
[34] Wang，H.，通过模式识别证明定理II，贝尔系统。《技术期刊》，第40卷，第1-41页（1961年）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。