×
安蒂·库西斯托

广义量词的双组语义。 （英语） Zbl 1350.03025号

J.逻辑语言信息。 24，第2期，149-191（2015）.
摘要：我们研究了带有广义量词的依赖逻辑的扩展。我们还引入并研究了广义原子。我们定义了一个语义系统，可以在同一个伞形框架下容纳依赖逻辑的变体，可能用广义量词和广义原子扩展。语义基于成对的团队，或双人组我们还设计了一个与双团队语义等价的游戏理论语义。我们通过定义一个逻辑（mathrm{DC}^2）来使用双组语义，该逻辑规范地融合在一起二变量相关逻辑\（\mathrm{D}^2）和带计数量词的二元逻辑\（\mathrm{FOC}^2\）。我们建立了（mathrm{DC}^2）的可满足性和有限可满足性问题对于（mathrm{NEXPTIME}）是完备的。

引用于22文件

MSC公司：

03B60号 其他非经典逻辑
03C80号 带有额外量词和运算符的逻辑
2015年3月1日 计算复杂性（包括隐式计算复杂性）

关键词：

团队语义;依赖逻辑;广义量词;游戏理论语义
PDF格式BibTeX公司 XML格式引用
\textit{A.Kuusisto}，J.Logic Lang.Inf.24，No.2，149--191（2015；Zbl 1350.03025）
全文： 内政部 arXiv公司

参考文献：

[1] Benaim，S.、Benedikt，M.、Charatonik，W.、Kieronéski，E.、Lenhardt，R.、Mazowiecki，F.和Worrell。，J.（2013）。有限树上二元逻辑的复杂性。摘自：第40届国际自动机、语言和编程学术研讨会论文集（ICALP 2013），第74-88页·Zbl 1335.68132号
[2] Bradfield，J.（2013）。依赖性团队建设。摘自：第22届EACSL计算机科学逻辑年会论文集（CSL 2013），第116-128页·Zbl 1356.03069号
[3] Charatonik，W.和Witkowski，P.（2013）。带有计数和树的双变量逻辑。摘自：第28届ACM/IEEE年度计算机科学逻辑研讨会论文集（LICS 2013），第73-82页·Zbl 1433.03016号
[4] Engström，F.（2012）。依赖逻辑中的广义量词。《逻辑、语言与信息杂志》，21（3），299-324·Zbl 1305.03024号 ·doi:10.1007/s10849-012-9162-4
[5] Engström，F.和Kontine，J.（2013）。描述依赖逻辑的量词扩展。符号逻辑期刊，78（1），307-316·Zbl 1273.03134号 ·doi:10.2178/jsl.7801210
[6] Engström，F.、Kontine，J.和Väänänen，J.（2013）。带有广义量词的依赖逻辑：公理化。摘自：第20届逻辑、语言、信息和计算研讨会（WoLLiC 2013），第138-152页·Zbl 1394.03048号
[7] 加利亚尼，P.（2012）。团队语义中的包含和排除依赖：关于不完全信息的一些逻辑。《纯粹逻辑与应用逻辑年鉴》，163（1），68-84·Zbl 1250.03047号 ·doi:10.1016/j.apal.2011.08.005
[8] Galliani，P.、Hannula，M.和Kontine，J.（2013）。独立逻辑中的层次结构。摘自：第22届EACSL计算机科学逻辑年会论文集（CSL 2013），第263-280页·Zbl 1356.03070号
[9] Galliani，P.和Hella，L.包含逻辑和不动点逻辑。摘自：第22届EACSL计算机科学逻辑年会论文集（CSL 2013），第281-295页·Zbl 1356.03071号
[10] Grädel，E.（2013）。不完全信息逻辑的模型检查游戏。理论计算机科学，493，2-14·Zbl 1358.68191号 ·doi:10.1016/j.tcs.2012.10.033
[11] Grädel，E.和Väänänen，J.（2013年）。依赖和独立。《逻辑研究》，101（2），399-410·Zbl 1272.03125号 ·doi:10.1007/s11225-013-9479-2
[12] Hintikka，J.和Sandu，G.（1989年）。信息独立是一种语义现象。在：逻辑、方法论和科学哲学、逻辑研究和数学基础（第126卷）。荷兰北部，阿姆斯特丹·Zbl 0683.03004号
[13] Hodges，W.（1997）。不完全信息语言的合成语义。IGPL逻辑杂志，5（4），电子版·Zbl 0945.03034号
[14] Kieroánski，E.和Michaliszyn，J.（2012）。具有传递闭包的二元通用逻辑。载：第21届EACSL计算机科学逻辑年会论文集（CSL 2012），第396-410页·兹比尔1252.03078
[15] Kieronéski，E.、Michaliszyn，J.、Pratt-Hartmann，I.和Tendra，L.（2012）。具有等价闭包的二变量一阶逻辑。摘自：第27届ACM/IEEE计算机科学逻辑研讨会论文集（LICS 2012），第431-440页·Zbl 1362.68107号
[16] Kontine，J.、Kuusisto，A.、Lohmann，P.和Virtema，J.（2011年）。二元依赖逻辑和IF-逻辑的复杂性。摘自：第26届ACM/IEEE计算机科学逻辑研讨会论文集（LICS 2011），第289-298页·Zbl 1310.03042号
[17] Kuusisto，A.（2010年）。具有重要程度的资源意识量化和本体论。技术报告。坦佩雷大学，坦普电子出版物·Zbl 1250.03047号
[18] Kuusisto，A.（2012年）。为广义量词定义双组语义。技术报告。坦佩雷大学，坦普电子出版物·Zbl 1350.03025号
[19] Lindström，P.（1966年）。带有广义量词的一阶谓词逻辑。理论，32286-195·Zbl 1230.03072号
[20] Mann，A.、Sandu，G.和Sevenster，M.（2011年）。独立友好逻辑：一种博弈论方法。剑桥：剑桥大学出版社·Zbl 1218.03002号 ·doi:10.1017/CBO9780511981418
[21] Manuel，A.和Zeume，T.（2013）。二维结构上的双变量逻辑。摘自：第22届EACSL计算机科学逻辑年会论文集（CSL 2013），第484-499页·Zbl 1356.03074号
[22] Pratt-Hartmann，I.（2005）。带有计数量词的双变量片段的复杂性。《逻辑、语言与信息杂志》，14（3），369-395·兹比尔1082.03007 ·doi:10.1007/s10849-005-5791-1
[23] Steels，L.&Kaplan，F.（2001年）。AIBO的第一句话。语言和意义的社会学习。收录于：《传播的演变》（第4卷，第1期），阿姆斯特丹：约翰·本杰明斯出版公司。
[24] Szwast W.，&Tendra，L.（2013）\具有一个传递关系的[FO^2\]FO2是可判定的。在：第30届计算机科学理论方面研讨会论文集（STACS 2013），第317-328页·兹比尔1354.03007
[25] Väänänen，J.（2007年）。依赖逻辑。剑桥：剑桥大学出版社·Zbl 1117.03037号 ·doi:10.1017/CBO9780511611193
[26] 维特根斯坦（Wittgenstein，L.）（1953年）。哲学研究。牛津：布莱克威尔。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。