米哈伊尔·里巴科夫；德米特里·什卡托夫 具有两个变量和一个单体谓词字母的QLTL和QCTL的不可判定性。 （英语） Zbl 07642566号 日志。伊斯斯莱德。 27，第2期，93-120（2021）。 摘要：我们研究了量化线性时间时序逻辑的算法特性QLTL公司在限制单个变量数量以及谓词字母数量和arity的语言中。我们证明了QLTL公司在带有两个独立变量和一个单数谓词字母的语言中为\（\Sigma_1^1）-hard。因此，QLTL公司在这种语言中是（\Pi_1^1）-硬的，因此不能递归枚举。结果同时适用于递增域和常量域语义，并通过从（\Sigma_1^1）-硬（\mathbb{N}\times\mathbb{N}）循环平铺问题的约简得到。它是根据以下证据得出的QLTL公司量化分支时间时序逻辑也有类似的结果QCTL公司，因此对于量化的交替时间时序逻辑QATL公司本文给出的结果加强了I.Hodkinson、F.Wolter和M.Zakharyaschev的一个结果，他们证明了QLTL公司是（Sigma_1^1）-在具有两个独立变量和无限数量单元谓词字母的语言中很难。 引用于三文件 MSC公司： 03年XX月 数学逻辑和基础 关键词：量化时序逻辑；一阶时序逻辑；线性时间时序逻辑；分支时间时间逻辑；受限语言；不可判定性；递归可枚举性；算术复杂性；算法分类问题；可满足性问题；有效性问题 软件：微型ML PDF格式BibTeX公司 XML格式引用 \textit{M.Rybakov}和\textit{D.Shkatov}，Log。伊斯斯莱德。27，编号2，93-120（2021；Zbl 07642566） 全文： 内政部 参考文献： [1] 阿巴迪，1989-阿巴迪M.“时间证明的力量”，《理论计算机科学》，1989年，第65卷，第1期，第35-83页·Zbl 0669.03010号 [2] Abiteboul，1996-Abiteboule，S.，Herr，L.，Van den Bussche，J.“查询时态数据库的时态与一阶逻辑”，摘自：《第十五届国际数据库原理会议论文集》（PODS’96），1996年。 [3] Ajspur等人，2013年-Ajspur-M.，Goranko，V.，Shkatov，D.“基于表的多智能体认知逻辑决策程序，包含用于公共和分布式知识的所有联合算子”，《IGPL逻辑杂志》，2013年，第21卷，第3期，第407-437页·Zbl 1277.68254号 [4] Alechina，Shkatov，2006-Alechina N.，Shkato v，D.“证明直觉模态逻辑可判定性的一般方法”，《应用逻辑杂志》，2006年，第4卷，第3期，第219-230页·Zbl 1106.03005号 [5] Alur等人，2002年-Alur，R.，Henzinger，T.A.，Kuperman，O.“交替时间-时间逻辑”，美国计算机学会期刊，2002年，第49卷，第5期，第672-713页·Zbl 1326.68181号 [6] Andr´eka等人，1979年——Andr´）eka，H.，N´emeti，I.，Sain，I.《程序和程序方案验证中的完整性问题》，收录于：《计算机科学数学基础》1979年。MFCS 1979，J.Be’cv’a’r主编，《计算机科学讲义》第74卷。施普林格，1979年·Zbl 0411.03017号 [7] Artale，Franconi，2000-Artale A.，Franconi，E.“描述逻辑时间扩展的调查”，《数学与人工智能年鉴》，2000年，第30卷，第171-210页·Zbl 0998.03013号 [8] Artale等人，2004年——Artale，A.、Kontchakov，R.、Kovtunova，A.，Ryzhikov，V.、Wolter，F.、Zakharyaschev，M.《线性时序逻辑中本体论导向查询的一阶可重写性》，2020年。预打印可在https://arxiv.org/abs/2004.07221 [9] Artemov，Dzhaparidze，1990-Artemov、S.、Dzhapridze，G.“可证明的有限克里普克模型和谓词逻辑”，《符号逻辑杂志》，1990年，第55卷，第3期，第1090-1098页·Zbl 0723.03006号 [10] Baader等人，2015年——Baader，F.，Borgwardt，S.，Lippmann，M.“描述逻辑SHQ中的时间查询蕴含”，《网络语义学杂志》，2015年，第33卷，第71-93页。 [11] Baader等人，2012年——Baader，F.、Ghilardi，S.、Lutz，C.“Ltl over description logic axioms”，ACM Transactions on Computational logic，2012年，第13卷第3期，第21条·兹比尔1351.68260 [12] Balbiani等人，2019年——Balbiani，P.，Boudou，J.，Di´eguez，M.，Fern´andez-Duque，D.“直觉主义线性时序逻辑”，2019，《ACM计算逻辑学报》，第21卷，第14条·兹比尔1433.03047 [13] B¨orger等人，1997年-B¨rger，E.，Gr¨adel，E.，Gurevich，Y.经典决策问题。施普林格，1997年·Zbl 0865.03004号 [14] Borgwardt等人，2015年——Borgwardd，S.，Lippmann，M.，Thost，V.“在知识库上暂时化可重写查询语言”，《Web语义杂志》，2015年，第33卷，第50-70页。 [15] Boudou等人，2017年——Boudou.，J.，Di´eguez，M.，Fern´andez-Duque D.“一个可判定的直觉主义时序逻辑”，载于：《第26届EACSL计算机科学逻辑年会论文集》（CSL’17），2017年，第82卷，第14:1-14:17页·Zbl 1434.03065号 [16] Boudou等人，2019年——Boudoo，J.，Di´eguez，M.，Fern´andez-Duque，D.，Romero F.“直觉主义时序逻辑的公理系统和拓扑语义”，收录于：F.Calimeri，N.Leone，M.Manna（编辑），《人工智能中的逻辑学》。JELIA 2019，计算机科学讲义第11468卷。施普林格，2019年，第763-777页·Zbl 1525.03064号 [17] Bourgaux等人，2019年——Bourgaux，C.，Koopmann，P.，Turhan，A.-Y.“基于时间和不一致数据的Ontologymediated查询应答”，《语义网络期刊》，2019，第10卷，第475-521页。 [18] Bra¨uner，Ghilardi，2007-Bra¨）uner，T.，Ghillardi，S.“一阶模态逻辑”，见： [19] P.Blackburn，J.Van Benthem，F.Wolter（编辑），模态逻辑手册，逻辑和实践推理研究第3卷。Elsevier，2007年，第549-620页·Zbl 1114.03001号 [20] Brewka等人，2011年——Brewka，G.，Eiter，T.，Truszczy´nski，M.“答案集编程一览”，ACM通信，2011年，第54卷，第12期，第92-103页。 [21] Cerrito等人，1999年-Cerrita，S.、Mayer，M.C.、Praud，S.“有限时间结构上的一阶线性时序逻辑”，收录于：H.Ganzinger、D.McAllester、A.Voronkov（编辑），《编程和自动推理逻辑》。LPAR 1999，计算机科学讲稿第1705卷。斯普林格，1999年·Zbl 0939.03022号 [22] Chagrov，Rybakov，2003-Chagrov，A.，Rybakov，M.“一个人需要多少变量来证明模态逻辑的PSPACE硬度？”见：P.Balbiani，N.-Y.Suzuki，F.Wolter，M.Zakharyaschev（编辑），《模态逻辑进展》，第4卷。伦敦：《国王学院出版物》，2003年，第71-82页·Zbl 1076.03012号 [23] 乔米奇，1994年——乔米奇·J·“时间查询语言：一项调查”，摘自：D.M.加巴伊和H.J.奥巴赫（编辑），《时间逻辑》。ICTL 1994，计算机科学讲稿第827卷（人工智能讲稿）。斯普林格，1994年·Zbl 0949.68524号 [24] Chomicki，Niwinski，1993-Chomicli，J.，Niwinki，D.“关于检查时间完整性约束的可行性”，《计算机与系统科学杂志》，1995年，第51卷，第3期，第523-535页·Zbl 0839.68094号 [25] Church，1936年-Church A.“关于“Entscheidungsproblem”的注释”，《符号逻辑杂志》，1936，第1卷，第40-41页。 [26] Clarke等人，2000年——Clarke，E.M.，Grumberg，O.，Peled，D.A.模型检查。剑桥：麻省理工学院出版社，2000年。 [27] Davies，Pfenning，2001-Davies R.，Pfenneng，F.“阶段计算的模态分析”，美国土木工程师学会杂志，2001年，第48卷，第3期，第555-604页·Zbl 1323.68107号 [28] Davies，2017-Davies R.“绑定时间分析的时序逻辑方法”，《ACM杂志》，2017年，第64卷，第1期，第1-45页·兹比尔1426.68034 [29] Davoren，2009年-Davoren.J.M.“直觉主义模态逻辑和时态逻辑及其经典伴随逻辑：拓扑语义和互模拟”，《纯粹与应用逻辑年鉴》，2009年，第161卷，第3期，第349-367页·兹比尔1221.03019 [30] de Paiva et al.，2004-de Paiva.，V.，Gor´e，R.，Mendler，M.“构造逻辑和类型理论中的模态”，《逻辑与计算杂志》，2004年，第14卷，第439-446页。 [31] Demri等人，2016年-Demri，S.，Goranko，V.，Lange，M.《计算机科学中的时序逻辑：有限状态系统》，《剑桥理论计算机科学丛书》第58卷。剑桥大学出版社，2016年·Zbl 1380.68003号 [32] Di´eguez et al.，2018-Di `eguez，M.，Fern´andez-Duque，D.“‘最终’的直觉主义公理化”，收录于：G.Metcalfe，G.Bezhanishvili，G.D'Agostino和T.Studer（编辑），《模态逻辑进展》，第12卷，大学出版社，2018年，第199-218页·Zbl 1418.03078号 [33] 艾默生，1990年-艾默生E.A.“时间和模态逻辑”，载于：J.van Leeuwen（编辑），《理论计算机科学手册》，1990年，B卷，第995-1072页·Zbl 0900.03030号 [34] Emerson，Halpern，1985年——Emerson、E.A.、Halperon，J.《分支时间的时序逻辑中的决策过程和表现力》，《计算机与系统科学杂志》，1985年，第30卷，第1期，第1-24页·Zbl 0559.68051号 [35] Enderon，2011年：H.B.Enderon可计算性理论：递归理论简介。纽约：学术出版社，2011年·Zbl 1243.03057号 [36] 费金等人，1995年-费金，R.，哈尔佩恩，J.Y.，摩西，Y.，瓦尔迪，M.Y.关于知识的推理。剑桥：麻省理工学院出版社，1995年·Zbl 0839.68095号 [37] Fern´andez-Duque，2018年-Fernéandez Duque，D.“动力学系统的直觉主义时间逻辑”，《计算机科学中的逻辑方法》，2018年，第14卷，第3期，第1-35页·Zbl 1453.03014号 [38] Fischer，Ladner，1979年——Fischer、M.、Ladner、R.E.《正则程序的命题动态逻辑》，《计算机与系统科学杂志》，1979年，第18卷，第194-211页·Zbl 0408.03014号 [39] 费舍尔·塞维（Fischer Servi），1977年——费舍尔·赛维（Ficher Servi，G.），“关于直觉主义基础的模态逻辑”，《逻辑研究》，1977年，第36卷，第3期，第141-149页·Zbl 0364.02015 [40] Fischer Servi，1980-Fischer Servi，G.“一类直觉模态演算的语义学”，载于：M.L.Dalla Chiara（编辑），《意大利科学哲学研究》，第59-72页。雷德尔；多德雷赫特，1980年·Zbl 0452.03014号 [41] Fischer Servi，1984年-Fischer Sevi，G.“一些直觉主义模态逻辑的公理化”，《帕多瓦大学数学与数学研讨会》，1984年，第42卷，第179-194页·Zbl 0592.03011号 [42] Fitting，Mendelsohn，1998-Fitting（门德尔松），M.，Mendelsonhn，R.L.一阶模态逻辑，Synthese Library第277卷。多德雷赫特：Kluwer学术出版社，1998年。加巴伊，1981年——加巴伊·D·海廷直觉主义逻辑中的语义研究。荷兰：D.Reidel，1981年。 [43] Gabbay等人，1994年——《牛津逻辑指南》第28卷第1卷，Gabbay，D.，Hodkinson，I.，Reynolds，M.《时间逻辑：数学基础和计算方面》。纽约：牛津大学出版社，1994年。 [44] Gabbay等人，2003年-Gabbay，D.，Kurucz，A.，Wolter，F.，Zakharyaschev，M.《多维模态逻辑：理论与应用》，《逻辑与数学基础研究》第148卷。爱思唯尔，2003年·Zbl 1051.03001号 [45] Gabbay，Shehtman，1993-Gabbay D.，Sheht man，V.“具有两个独立变量的模态和中间一阶逻辑的不确定性”，《符号逻辑杂志》，1993年，第58卷，第3期，第800-823页·兹比尔0797.03002 [46] Gabbay等人，2009年-Gabbay，D.，Shehtman，V.，Skvortsov，D.《非经典逻辑中的量化》，第1卷，第153卷《逻辑与数学基础研究》。爱思唯尔，2009年·Zbl 1211.03002号 [47] Garson，2001-Garson，J.W.模态逻辑中的量化。参见：D.M.Gabbay和F.Guenthner（编辑），《哲学逻辑手册》，第3卷，第267-323页。施普林格；多德雷赫特，2001年·Zbl 1003.03519号 [48] Goldblatt，1992-Goldblat，R.《时间与计算的逻辑》，CSLI课堂讲稿第7卷。第二版。斯坦福：语言与信息研究中心，1992年。 [49] Goldblatt，2011年——Goldblat，R.量词，命题和同一性：量化模态和亚结构逻辑的可接受语义。逻辑课堂讲稿。剑桥：剑桥大学出版社，2011年·Zbl 1270.03005号 [50] Goranko，Shkatov，2008年-Goranco，V.，Shkatov，D.，“具有公共和分布式知识运算符的多智能体认知逻辑的基于表的决策过程”，摘自：《第六届软件工程与形式方法国际会议论文集》，IEEE出版社，2008年，第237-246页。 [51] Goranko，Shkatov，2009a-Goranko.V.，Shkatov，D.“线性时间的全联盟多智能体时间认知逻辑的基于表的决策程序”，载于：S.Artemov和A.Nerode（编辑），计算机科学逻辑基础国际研讨会，2009年，第197-213页·Zbl 1211.03027号 [52] Goranko，Shkatov，2009b-Goranko.V.，Shkatov，D.，“基于表的程序，用于确定全联盟多智能体认知逻辑中的可满足性”，收录于：C.Sierra，C.Castelfranchi，K.S.Decker，J.Sichman（编辑），《第八届自主智能体和多智能体系统国际联合会议论文集》（AAMAS 09），2009年，第969-976页。 [53] Goranko，Shkatov，2009c-Goranko.V.，Shkatov，D.“分支时间的全联盟多智能体时间认知逻辑的基于表的决策程序”，载于：《多智能体系统形式化方法学报》，20092009年。 [54] Goranko，Shkatov，2009d-Goranko.V.，Shkatov，D.“多智能体系统中基于表的战略能力逻辑决策程序”，ACM计算逻辑汇刊，2009年，第11卷，第1期，第3-51页·Zbl 1351.68266号 [55] Goranko，van Drimmelen，2006-Goranko，V.，Shkatov，D.“交替时间-时间逻辑的完全公理化和可判定性”，《理论计算机科学》，2006年，第353卷，第1-3期，第93-117页·Zbl 1089.03013号 [56] Gr¨adel等人，1997年-Gr¨）adel E.，Kolaitis，P.G.，Vardi，M.Y.“关于二变量一阶逻辑的决策问题”，《符号逻辑公报》，1997年，第3卷，第1期，第53-69页·Zbl 0873.03009号 [57] Grefe，1998-Grefe，C.“Fischer Servi的直觉主义模态逻辑具有有限模型特性”，载于：M.Kracht，M.de Rijke，H.Wansing，M.Zakharyaschev（编辑），《模态逻辑进展》，第1卷，CSLI出版物，1998年，第85-98页·Zbl 0911.03011号 [58] Halpern，1995-Halpern-J.Y.“限定原始命题数量和嵌套深度对模态逻辑复杂性的影响”，《人工智能》，1995年，第75卷，第2期，第361-372页·Zbl 1014.03508号 [59] 哈尔佩恩，瓦迪，1998年-哈尔佩恩·J.Y.，瓦迪·M.Y.“关于知识和时间的推理复杂性I：下限”，《计算机与系统科学杂志》，1989年，第38卷，第1期，第195-237页·Zbl 0672.03015号 [60] Harel，1986年——Harel，D.“无限树上的有效变换，应用于高度不可判定性、多米诺骨牌效应和公平”，《美国医学会杂志》，1986年，第33卷，第224-248页。 [61] Hodkinson等人，2003年——Hodkinsen，I.，Kontchakov，R.，Kurucz，A.，Wolter，F.，Zakharyaschev，M.“关于一阶线性时序逻辑可判定片段的计算复杂性”，载于：2003年第十届时间表示与推理国际研讨会和第四届时间逻辑国际会议。诉讼程序。IEEE，2003年，第91-98页。 [62] 霍德金森等人，2000年——霍德金森，I.，Wolter，F.，Zakharyaschev，M.“一阶时序逻辑的可判定片段”，《纯粹逻辑与应用逻辑年鉴》，2000年，第106卷，第85-134页·Zbl 0999.03015号 [63] Hodkinson等人，2001-Hodkinson，I.，Wolter，F.，Zakharyaschev，M.“一阶时间逻辑的单调片段：公元2000-2001年”，载于：R.Nieuwenhuis和A.Voronkov（编辑），《编程逻辑、人工智能和推理》。LPAR 2001，计算机科学讲稿第2250卷。施普林格，2001年，第1-23页·Zbl 1275.03088号 [64] Hughes，Cresswell，1996-Hughes、G.E.、Cresswell，M.J.《模态逻辑新导论》。劳特利奇，1996年·Zbl 0855.0302号 [65] Huth，Ryan，2004-Huth，M.，Ryan.，M.《计算机科学中的逻辑：系统建模和推理》，第二版。剑桥：剑桥大学出版社，2004年·Zbl 1073.68001号 [66] Kontchakov等人，2005年-Kontchacov，R.，Kurucz，A.，Zakharyaschev，M.“具有两个变量的一阶直觉主义和模态逻辑的不确定性”，《符号逻辑公报》，2005年，第11卷，第3期，第428-438页·邮编1096.03008 [67] 克里普克，1962年-克里普克（Kripke，S.），“一元模态量化理论的不确定性”，Zeitschrift f¨ur Matematische Logik und Grundlagen der Mathematik，1962，第8卷，第113-116页·Zbl 0111.01101号 [68] Libkin，2004年：《有限模型理论的要素》。斯普林格，2004年·Zbl 1060.03002号 [69] Maier，2004-Maier，P.“直觉主义LTL和安全性和活性的新表征”，摘自：J.Marcinkowski，a.Tarlecki（编辑），《计算机科学逻辑第18届国际研讨会论文集》（CSL'04），计算机科学讲义第3210卷，Springer，2004，第295-309页·Zbl 1095.68055号 [70] Manna，Pnueli，1992-Manna，Z.，Pnuelli，A.《反应和并发系统的时间逻辑：规范》。施普林格，1992年。 [71] Manna，Pnueli，1995-Manna，Z.，Pnuelli，A.无功系统的临时验证：安全。斯普林格，1995年。 [72] 马克思，1999-Max，M.“模态逻辑产品的复杂性”，《逻辑与计算杂志》，1999年，第9卷，第2期，第197-214页·兹比尔0945.03025 [73] Maslov等人，1965年-Maslov，S.，Mints，G.，Orevkov，V.“仅包含一元谓词变量的某些公式类的构造谓词演算中的不可解性”，苏联数学Doklady，1965，第6卷，第918-920页。Merz，1992-Merz，S.“线性时间一阶时序逻辑的可判定性和不完全性结果”，《应用非经典逻辑杂志》，1992年，第2卷，第2期，第139-156页。 [74] Mints，1968-Mints，G.“模态逻辑的一些计算”，Trudy Matematicheskogo Instituta imeni V.A.Steklova，1968年，第98卷，第88-111号。（俄语）Mints，2000-Mints，G.直觉主义逻辑简介。纽约：Kluwer学术出版社，2000年。 [75] 莫蒂默，1975年——莫蒂默M.“关于双变量语言”，Zeitschrift f¨ur Mathematische Logik und Grundlagen der Mathematik，1975年，第135-140页·Zbl 0343.0209号 [76] 西村，1960年——西村，I.“关于直觉主义命题演算中一个变量的公式”，《符号逻辑杂志》，1960年，第25卷，第4期，第327-331页·Zbl 0108.00302号 [77] 小野，1977-小野，H.“关于一些直觉主义模态逻辑”，数学科学研究所出版物，1977年，第13卷，第3期，第687-722页·Zbl 0373.02026号 [78] 普努利，1986年-普努利A.“时序逻辑在反应系统规范和验证中的应用：当前趋势的调查”，载于：J.W.de Bakker，W.P.de Roever，G.Rozenberg（编辑），《并发的当前趋势》，计算机科学讲义第224卷。施普林格，1986年·Zbl 0607.68022号 [79] Rogers，1967-Rogers，H.递归函数和有效可计算性理论。McGraw-Hill，1967年·兹比尔0183.01401 [80] Rybakov，2006-RybakovM.“有限多变量中直觉主义和维瑟基本逻辑和形式逻辑的复杂性”，收录于：G.Governatori，I.M.Hodkinson，Y.Venema（编辑），Advances in Modal Logic 6。斯坦福：学院出版物，2006年，第393-411页·Zbl 1148.03005号 [81] Rybakov，2008-RybakovM，“直觉主义命题逻辑及其片段的复杂性”，《应用非经典逻辑杂志》，2008年，第18卷，第2-3期，第267-292页·Zbl 1181.03006号 [82] Rybakov，Shkatov，2018a-Rybakow，M.，Shkato v，D.“有限多变量命题动态逻辑的复杂性和表达性”，《IGPL逻辑杂志》，2018年，第26卷，第5期，第539-547页·Zbl 1492.03013号 [83] Rybakov，Shkatov，2018b-Rybakow，M.，Shkatorv，D.“具有有限多变量的分支和交替时间时序逻辑的复杂性和表达性”，载于：B.Fischer，T.Uustalu（eds.），《计算的理论方面——ICTAC 2018》，计算机科学讲义第11187卷。施普林格，2018年，第396-414页·Zbl 1522.03047号 [84] Rybakov，Shkatov，2018c-Rybakow，M.，Shkato，D.“相对于一阶可定义的框架类而言，递归可枚举的Kripke完备一阶逻辑不完备”，载于：G.Metcalfe，G.Bezhanishvili，G.D'Agostino，T.Studer（编辑），《模态逻辑进展》，第12卷。斯坦福：学院出版物，2018年，第531-540页·Zbl 1418.03100号 [85] Rybakov，Shkatov，2019a-Rybakow，M.，Shkato v，D.“对称框架命题模态逻辑有限变量片段的复杂性”，《IGPL逻辑杂志》，2019年，第27卷，第1期，第60-68页·Zbl 1494.03053号 [86] Rybakov，Shkatov，2019b-Rybakov.，M.，Shkato，D.“Trakhtenbrot定理：三个独立变量的SAIC经典语言程序”，SIT2019。第19条。ACM，2019年。 [87] Rybakov，Shkatov，2019c-Rybakov.，M.，Shkato，D.“具有两个变量和一个单数谓词字母的一阶模态逻辑和直觉逻辑的不确定性”，《逻辑研究》，2019年，第107卷，第4期，第695-717页·Zbl 1531.03046号 [88] Rybakov，Shkatov，2020a-Rybakov，M.，Shkatov，D.“谓词模态逻辑中的递归可枚举性和基本框架可定义性”，《逻辑与计算杂志》，2020年，第30卷，第2期，第549-560页·Zbl 1515.03106号 [89] Rybakov，Shkatov，2020b-Rybakow，M.，Shkato，D.“受限语言中自然数行的一阶模态逻辑的算法性质”，收录于：S.Negri，N.Olivetti，R.Verbruge，G.Sandu（编辑），《模态逻辑进展》，第13卷。斯坦福大学：学院出版物，2020年，第523-539页·Zbl 07585731号 [90] Rybakov，Shkatov，2020c-Rybakow，M.，Shkato，D.“受限语言中有限Kripke框架的一阶模态逻辑的算法性质”，《逻辑与计算杂志》，2020年，第30卷，第7期，第1305-1329页·Zbl 07285871号 [91] Rybakov，Shkatov，2021a-Rybakow，M.，Shkato v，D.“含K乘积的有限变量片段的复杂性”，《逻辑与计算杂志》，2021年，第31卷，第2期，第426-443页·Zbl 07332113号 [92] Rybakov，Shkatov，2021b-Rybakow，M.，Shkato，D.“受限语言中有限Kripke框架的一阶超直觉逻辑的算法性质”，《逻辑与计算杂志》，2021年，第31卷，第2期，第494-522页·Zbl 1477.03028号 [93] Rybakov，Shkatov，2021c-Rybakow，M.，Shkato，D.“受限语言中线性Kripke框架的一阶模态逻辑的算法性质”，《逻辑与计算杂志》，2021年，第31卷，第5期，第1266-1288页·Zbl 07398783号 [94] Rybakov，Shkatov，2021d-Rybakow，M.，Shkatorv，D.“QK4.3和QS4.3的算法属性”，《2021年斯米尔诺夫逻辑读物》，第50-54页。 [95] Rybakov，Shkatov，2021e-Rybakow，M.，Shkato，D.“部分拟元谓词逻辑的不确定性”。出现在IGPL的逻辑期刊上，doi 10.1093/jigpal/jzab018·Zbl 1494.03076号 [96] Schewe，2008-Schewe，S.“ATL*可满足性是2EXPTIME完全的”，在：自动机，语言和编程。ICALP 2008，计算机科学讲稿第5126卷。柏林-海德堡施普林格-弗拉格出版社，2008年，第373-385页·Zbl 1155.68447号 [97] Shehtman，Shkatov，2019-Shehtma，V.，Shkatorv，D.“关于模态谓词逻辑的单变量片段”，载于《SYSMICS2019学报》。阿姆斯特丹：逻辑、语言和计算研究所；阿姆斯特丹大学，2019年，第129-132页。 [98] Shehtman，Shkatov，2020-Shehtma，V.，Shkatorv，D.“模态逻辑半积和乘积的一些前景”，摘自：短篇论文。AiML2020。赫尔辛基：赫尔辛基大学，2020年，第107-111页。 [99] 辛普森，1994-辛普森，A.直觉主义模态逻辑的证明理论和语义。博士论文。爱丁堡：爱丁堡大学，1995年。 [100] Sistla，Clarke，1985年——Sistla（A.P.）、Clarke（E.M.），“命题线性时序逻辑的复杂性”，《ACM杂志》，1985年，第32卷，第3期，第733-749页·Zbl 0632.68034号 [101] Spaan，1993年：Spaan、E.模态逻辑的复杂性。博士论文。阿姆斯特丹：阿姆斯特丹大学，1993年。 [102] Szalas，1986年-Szaras，A.“关于一阶时序逻辑中的语义结果关系”，《理论计算机科学》，1086年，第47卷，第329-334页·Zbl 0622.03012号 [103] Szalas，Holenderski，1988-Szaras，A.，Holendrski，L.“一阶时序逻辑的不完全性，直到”，《理论计算机科学》，1988年，第57卷，第317-325页·Zbl 0677.03013号 [104] Trakhtenbrot，1953年-Trakhtenbrat，B.A.“关于递归可分性”，Doklady AN SSSR，1953，第88卷，第953-956页。（俄语）·Zbl 0050.00801号 [105] 图灵，1936年——图灵，A.M.“关于可计算数字，以及对‘Entscheidungsproblem’的应用”，《伦敦数学学会学报》，第2辑，1936/1937年，第42卷，第230-265页·Zbl 0016.09701号 [106] van der Hoek，Wooldridge，2003-van der Hoek，W.，Woolridge，M.“合作、知识和时间：交替时间-时间认知逻辑及其应用”，Studia Logica，2003年，第75卷，第1期，第125-157页·Zbl 1034.03013号 [107] Vardi，Stockmeyer，1985-Vardi、M.Y.、Stockmeyer，L.“程序模态逻辑的改进上限和下限”，摘自：第十七届ACM计算理论研讨会论文集，1985年，第240-251页。 [108] Wolter，Zakharyaschev，1997-Wolter、F.、Zakhariaschev、M.“直觉主义与经典模态逻辑的关系”，《代数与逻辑》，1997年，第36卷，第121-155页·Zbl 0937.03033号 [109] Wolter，Zakharyaschev，1999-Wolter、F.、Zakhariaschev、M.“直觉主义模态逻辑作为经典双模逻辑的碎片”，收录于：E.Orlowska（编辑），《工作中的逻辑》，Springer；柏林，1999年，第168-186页·Zbl 0922.03023号 [110] Wolter，Zakharyaschev，2000——Wolter、F.、Zakhariaschev、M.“时间化描述逻辑”，见：D.Gabbay和M.de Rijke（编辑），《组合系统的前沿II》。伦敦：研究出版社/Wiley，2000年，第379-401页·Zbl 0994.03026号 [111] Wolter，Zakharyaschev，1997-Wolter，F.，Zakharyaschev，M.“关于直觉模态逻辑和经典模态逻辑之间的关系”，《代数与逻辑》，1997年，第36卷，第121-155页·Zbl 0937.03033号 [112] Wolter，Zakharyaschev，1999-Wolter，F.，Zakharyaschev，M.“作为经典双峰逻辑片段的直觉模态逻辑”，载于：E.Orlowska（编辑），《工作中的逻辑》。施普林格；柏林，1999年，第168-186页·Zbl 0922.03023号 [113] Wolter，Zakharyaschev，2000——Wolter、F.、Zakhariaschev、M.“时间化描述逻辑”，见：D.Gabbay和M.de Rijke（编辑），《组合系统的前沿II》。伦敦：研究出版社/Wiley，2000年，第379-401页·Zbl 0994.03026号 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。