斯特凡·德姆里;Deters,摩根 二元分离逻辑及其内圈。 (英文) Zbl 1354.03036号 ACM事务处理。计算。日志。 16,第2号,第15条,36页(2015年). 引用于8文件 MSC公司: 03B70号 计算机科学中的逻辑 03B25号 理论和句子集的可决定性 软件:幻灯片 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{M.Deters},ACM Trans。计算。日志。16,第2号,第15条,36页(2015;Zbl 1354.03036) 全文: 内政部 哈尔 参考文献: [1] J.艾伦。1983.保持关于时间间隔的知识。ACM通信26,11(1983),832-843·Zbl 0519.68079号 ·数字对象标识代码:10.1145/182.358434 [2] K.Bansal、R.Brochenin和E.Lozes。2009.超越形状:包含有序数据的列表。在FOSSACS’;中;09(计算机科学课堂讲稿),第5504卷。施普林格,425–439·Zbl 1234.68083号 ·doi:10.1007/978-3642-00596-130 [3] S.Benaim、M.Benedikt、W.Charatonik、E.Kieroń;ski、R.Lenhardt、F.Mazowiecki和J.Worrell。2013.有限树上二元逻辑的复杂性。在ICALP’;中;13(计算机科学课堂讲稿),第7966卷。施普林格,74-88·Zbl 1335.68132号 [4] P.Blackburn、M.de Rijke和Y.Venema。2001.模态逻辑。剑桥大学出版社·Zbl 0988.03006号 ·doi:10.1017/CBO9781107050884 [5] M.Bojań;czyk、C.David、A.Muscholl、Th.Schwentick和L.Segoufin。2011.数据字的双变量逻辑。ACM计算逻辑汇刊12,4(2011),27。 [6] 欧洲银行ö;乔治,E.Grä;del和Y.Gurevich。1997.经典决策问题。斯普林格。 [7] P.鲍耶。2002.数据语言的逻辑特征。《信息处理快报》84,2(2002),75–85·Zbl 1042.68544号 ·doi:10.1016/S0020-0190(02)00229-6 [8] R.Brochenin、S.Demri和E.Lozes。2012年,在万能魔杖上。信息与计算211(2012),106–137·Zbl 1262.03051号 ·doi:10.1016/j.ic.2011.12.003 [9] J.Brotherston、C.Fuhs、N.Gorogannis和J.Navarro Perez。2014.带归纳谓词的分离逻辑中可满足性的决策过程。在CSL-LICS’;中;14.ACM·Zbl 1401.68111号 ·doi:10.145/2603088.2603091 [10] J.Brotherston和M.Kanovich。2014.命题分离逻辑及其邻域的不确定性。《计算机协会杂志》61,2(2014)·Zbl 1295.68166号 ·数字对象标识代码:10.1145/2542667 [11] C.Calcagno,P.O’;Hearn和H.Yang。2001.数据结构空间断言语言的可计算性和复杂性结果。在FSTTCS’;中;01(计算机科学讲义),第2245卷。施普林格,108-119·兹比尔1052.68590 [12] W.Charatonik,E.Kieroń;滑雪和F.Mazowiecki。2014.具有确定性传递闭包的弱逻辑的可判定性。在CSL-LICS’;中;14.ACM·Zbl 1394.03015号 [13] B.Cook、Ch.Haase、J.Ouaknine、M.Parkinson和J.Worrell。2011.分离逻辑片段中的可追踪推理。CONCUR’;中;11(计算机科学课堂讲稿)。施普林格,235-249·Zbl 1300.03017号 ·doi:10.1007/978-3642-23217-6_16 [14] J.-R.Courtault和D.Galmiche。2013.动态资源属性的模式BI逻辑。在LFCS中’;13(计算机科学课堂讲稿),第7734卷。施普林格,134-148·Zbl 1437.03116号 ·doi:10.1007/978-3-642-35722-010 [15] C.大卫。2009年。分析XML avec donn…;es非出生é;e.博士论文。LIAFA,大学é;巴黎七世。 [16] A.Dawar,Ph.Gardner和G.Ghelli。2007.图形逻辑的表达性和复杂性。信息与计算205,3(2007),263–310·Zbl 1114.03028号 ·doi:10.1016/j.ic.2006.10.006 [17] M.de Rijke先生。1992年,不平等的模态逻辑。《符号逻辑杂志》57,2(1992),566–584·Zbl 0788.03019号 ·doi:10.2307/225293 [18] N.Decker、P.Habermehl、M.Leucker和D.Thoma。2014.多属性数据词的有序导航。CONCUR’;中;14(计算机科学课堂讲稿),第8704卷。497–511. ·Zbl 1417.68082号 [19] A.Degtyarev、M.Fisher和A.Lisitsa。2002.平等与一元一阶时序逻辑。《逻辑研究》72,2(2002),147–156·Zbl 1011.03007号 ·doi:10.1023/A:1021352309671 [20] S.Demri和M.Deters。2014.具有两个变量且无分离连接的分离逻辑的表达完整性。在CSL-LICS’;中;14.ACM,37·Zbl 1367.03053号 ·doi:10.1145/2603088.2603142 [21] S.Demri、D.Galmiche、D.Larchey-Wendling和D.Mery。2014.一个量化变量的分离逻辑。在CSR’;中;14(计算机科学课堂讲稿),第8476卷。施普林格,125-138·Zbl 1408.68036号 ·doi:10.1007/978-3-319-06686-8_10 [22] S.Demri和Schnoebelen博士。2002.命题线性时间逻辑在简单情况下的复杂性。信息与计算174,1(2002),84–103·Zbl 1009.68072号 ·doi:10.1006/inco.2001.3094 [23] K.Etessami、M.Vardi和Th.Wilke。1997.带两个变量的一阶逻辑和一元时态逻辑。在LICS’;中;97.IEEE,228–235·doi:10.1010/LICS.1997.614950 [24] D.菲格拉。2010年,用数据推理单词和树。博士论文。ENS de Cachan公司。 [25] D.加巴伊。1981.时态逻辑中的表达功能完备性。在哲学逻辑方面。Reidel,91–117岁·Zbl 0523.03017号 ·doi:10.1007/978-94-009-8384-7_4 [26] D.Gabbay和V.Shehtman。1993。具有两个单独变量的模态和中间一阶逻辑的不确定性。《符号逻辑杂志》58,3(1993),800-823·Zbl 0797.0302号 ·doi:10.2307/2275098 [27] E.等级ä;del、Ph.Kolaitis和M.Vardi。1997年a。关于二元一阶逻辑的决策问题。符号逻辑公报3,1(1997),53-69·Zbl 0873.03009号 [28] E.等级ä;del、M.Otto和E.Rosen。1997年b。带计数的双变量逻辑是可判定的。在LICS’;中;97.IEEE,306–317。 [29] E.等级ä;del、M.Otto和E.Rosen。1999.双变量逻辑的不确定性结果。《数理逻辑档案》38,4-5(1999),313-354·Zbl 0927.03015号 [30] J.哈尔佩恩。1995.限制原始命题的数量和嵌套深度对模态逻辑复杂性的影响。人工智能75,2(1995),361-372·Zbl 1014.03508号 ·doi:10.1016/0004-3702(95)00018-A [31] D.Harel、D.Kozen和J.Tiuryn。2000.动态逻辑。麻省理工学院出版社·Zbl 0976.68108号 [32] M.轩尼诗和R.米尔纳。1980年。关于观察不确定性和并发性。在ICALP’;中;80(计算机科学讲义),第85卷。施普林格,299-309·Zbl 0441.68018号 ·doi:10.1007/3-540-10003-2.79 [33] R.Iosif、A.Rogalewicz和J.Simacek。2013.具有递归定义的分离逻辑的树宽度。在CADE’;中;13(计算机科学课堂讲稿),第7898卷。施普林格,21–38岁·Zbl 1329.03068号 ·doi:10.1007/978-3-642-38574-22 [34] A.S.Kahr、E.F.Moore和H.Wang。1962.Entscheidungs问题简化为&thinsp&存在&thinsp&所有人;案例。《美国国家科学院院刊》48,3(1962),365-377·Zbl 0102.00801号 ·doi:10.1073/pnas.48.3.365 [35] E.基罗ń;J.Michaliszyn、I.Pratt-Hartmann和L.Tendra。2012.具有等价闭包的二变量一阶逻辑。在LICS’;中;12.IEEE,431–440·Zbl 1362.68107号 [36] D.Larchey-Wendling和D.Galmiche。2013.非确定性阶段语义和布尔BI的不确定性。ACM计算逻辑事务14,1(2013)·Zbl 1343.03022号 ·doi:10.145/2422085.2422091 [37] H.刘易斯。1980.量化公式类的复杂性结果。《计算机系统科学杂志》21(1980),317-353·Zbl 0471.03034号 ·doi:10.1016/0022-0000(80)90027-6 [38] C.Lutz和U.Sattler。2002.布尔模态逻辑推理的复杂性。2000年模态逻辑进展。第3卷。世界科学,329–348·Zbl 1031.03037号 ·doi:10.1142/9789812776471_0018 [39] M.L.明斯基。1967年,《计算:有限和无限机器》。新泽西州上鞍河Prentice-Hall·Zbl 0195.02402号 [40] 摩根大通。非经典逻辑中自动定理证明的方法。IEEE计算机汇刊25,8(1976),852-862·Zbl 0329.68074号 ·doi:10.1109/TC.1976.1674704 [41] 莫蒂默先生。1975年,关于语言的两个变量。Zeitschrift公司fü;r Mathematische Logik und Grundlagen der Mathematik 21(1975),135–140·Zbl 0343.0209号 [42] B.莫斯科夫斯基。1983.数字电路推理。技术报告STAN–CS–83–970。斯坦福大学计算机科学系,加利福尼亚州斯坦福。 [43] B.莫斯科夫斯基。有限时间命题区间时序逻辑的层次完备性证明。《应用非经典逻辑杂志》14,1–2(2004),55–104·Zbl 1181.03015号 [44] M.奥托。有序域上的双变量一阶逻辑。《符号逻辑杂志》66,2(2001),685-702·Zbl 0990.03005号 ·doi:10.2307/2695037 [45] L.Pacholski、W.Szwast和L.Tendra。1997.带计数的双变量逻辑的复杂性。在LICS’;中;97.IEEE,318–327·doi:10.1109/LICS.1997.614958 [46] A.事前。1967年。过去、现在和未来。牛津大学出版社·Zbl 0169.29802号 ·doi:10.1093/acprof:oso/9780198243113.001.0001 [47] M.Rabin,1969年。无限树上二阶理论和自动机的可判定性。《美国数学学会学报》41(1969),1-35·Zbl 0221.02031 ·doi:10.2307/1995086 [48] J.C.雷诺兹。2002.分离逻辑:用于共享可变数据结构的逻辑。在LICS中’;02.IEEE,55–74·doi:10.1109/LICS.2002.1029817 [49] Th.Schwentick和Th.Zeume。2012.二元逻辑和二阶关系。计算机科学中的逻辑方法8(2012),1-27·Zbl 1238.03031号 ·doi:10.2168/LMCS-8(1:15)2012年 [50] D.斯科特。1962.双变量句子有效性的判定方法。《符号逻辑杂志》27(1962),377。 [51] L.Stockmeyer。1974.自动机理论和逻辑中决策问题的复杂性。博士论文。麻省理工学院电气工程系。 [52] W.Szwast和L.Tendra。2013年,具有一个传递关系的FO2是可判定的。在STACS中’;13(LIPIcs),第20卷。317–328. ·Zbl 1354.03007号 [53] J.van Benthem。1976年,对应理论。博士论文。阿姆斯特丹大学数学学院·Zbl 1003.03518号 [54] Weis博士。2011.有限词上一阶逻辑的表达性和简洁性。博士论文。马萨诸塞大学。 [55] H.杨。2001.州计划的本地推理。博士论文。伊利诺伊大学香槟分校。 [56] Z.超尘。2008年,《规范语言的逻辑》,D.Bjorner和M.Henson(编辑)。施普林格,章节评论“;持续时间微积分,”;609–611. 理论计算机科学专著。EATCS系列。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。