克里斯托弗·汉普森;南科他州基科特。;A.库鲁茨。 具有对角线和故障计数器的模态产品逻辑的决策问题。 （英语） 兹比尔1397.03023 螺柱日志。 104，第3期，455-486（2016）. 本文探讨了用对角（同一）关系补充两个模态逻辑的乘积的效果。特别是，补充产品（称为“（delta）-产品”）的有效性问题可能比普通产品更难计算。例如，\（{mathbf K}\次{mathbfK}\）和\（{mathbf K4}\次}\ mathbf K}\）的有效性问题是可判定的，而\（delta \）-版本的问题则不是可判定的。另一方面，\（｛\mathbf S5｝\）与自身的\（\delta\）-乘积不仅是可判定的，而且具有与\（｛\mathbf S5｝\times｛\mathbf S5｝\）相同的计算复杂度。使用的主要技术工具是计数器，这些计数器会出现某些错误。审核人：莱昂·哈克勒路（鲍多尼哈姆） 引用于三文件 MSC公司： 03B45 模态逻辑（包括规范逻辑） 03B25号 理论和句子集的可决定性 03B10号机组 经典一阶逻辑 05年3月 与逻辑问题相关的自动机和形式文法 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 关键词：模态逻辑的乘积;二变量一阶逻辑;明斯基机器;有损和插入错误计算 PDF格式BibTeX公司 XML格式引用 \textit{C.Hampson}等人，研究日志。104、3号、455--486（2016；Zbl 1397.03023） 全文： 内政部 arXiv公司 OA许可证 参考文献： [1] Alur R.，Henzinger T.：一个真正的时间逻辑。ACM期刊41，181-204（1994）·Zbl 0807.68065号 ·doi:10.1145/174644.174651 [2] Berger，R.，多米诺骨牌问题的不可判定性。AMS 66回忆录，1966年·Zbl 0259.02013 [3] Blackburn P.，de Rijke M.，Venema Y.：模态逻辑。剑桥大学出版社，剑桥（2001）·Zbl 0988.03006号 ·文件编号：10.1017/CBO9781107050884 [4] 布莱克本P.、塞利格曼J.：混合语言。《逻辑、语言与信息杂志》4，251-272（1995）·Zbl 0847.03009号 ·doi:10.1007/BF01049415 [5] Chagrov，A.，Zakharyaschev，M.，《模态逻辑》，《牛津逻辑指南》第35卷，克拉伦登出版社，牛津，1997年·Zbl 0871.03007号 [6] Fine K.：包含K4的逻辑，第二部分。符号逻辑杂志50619-651（1985）·Zbl 0574.03008号 ·doi:10.2307/2274318 [7] Gabbay，D.、Kurucz A.、Wolter F.和Zakharyaschev M.，《多维模态逻辑：理论与应用》，第148卷，《逻辑研究与数学基础》，爱思唯尔出版社，阿姆斯特丹，2003年·Zbl 1051.03001号 [8] Gabbay D.，Shehtman V.：模态逻辑的产物。第一部分IGPL的逻辑杂志6，73-146（1998）·Zbl 0902.03008号 ·doi:10.1093/jigpal/6.1.73 [9] Gabbay D.，Shehtman V.：模态逻辑的产物。第二部分。IGPL 2的逻辑杂志，165-210（2000）·兹比尔0970.03025 ·doi:10.1093/jigpal/8.2.165 [10] Gabelaia D.、Kurucz A.、Wolter F.、Zakharyaschev M.：“传递”模态逻辑的产物。符号逻辑期刊70993-1021（2005）·Zbl 1103.03020号 ·doi:10.2178/jsl/1122038925 [11] 哥德尔K.：Zum Entscheidungsproblem des logischen Funktitonenkalküls。Monatsheft fur Mathematik und Physik莫纳采夫毛皮马塞马提克与物理40、433-443（1933）·Zbl 0008.28903号 ·doi:10.1007/BF01708881 [12] Goldfarb W.：具有恒等式的哥德尔类的不可解性。《符号逻辑杂志》49，1237-1252（1984）·Zbl 0576.03008号 ·doi:10.2307/2274274 [13] Göller，S.、J.C.Jung和M.Lohrey，《分解模态和一阶理论的复杂性》，收录于2012年IEEE LICS会议录，第325-334页·Zbl 1364.03031号 [14] Grädel E.，Kolaitis P.，Vardi M.：关于二变量一阶逻辑的决策问题。符号逻辑公报3，53-69（1997）·Zbl 0873.03009号 ·doi:10.2307/421196 [15] Gutiérrez-Basulto，V.、J.C.Jung和T.Schneider，《轻量级描述逻辑和分支时间：一个麻烦的婚姻》，载于《KR 2014会议录》，AAAI出版社，剑桥，2014年·Zbl 0576.03008号 [16] Halmos P.：代数逻辑。纽约切尔西出版公司（1962）·Zbl 0101.01101号 [17] 汉普森C.，库鲁茨A.：不确定命题双模逻辑和带计数的单变量一阶线性时序逻辑。ACM计算逻辑学报16（3），27:1-27:36（2015）·Zbl 1354.03022号 ·doi:10.1145/2757285 [18] Henkin H.，Monk J.D.，Tarski A.：柱代数，第二部分。北荷兰，（1985）·Zbl 0576.03043号 [19] Kikot S.：具有不同对角线的模态逻辑方格的公理化。数学笔记88，238-250（2010）·Zbl 1248.03035号 ·doi:10.1134/S0001434610070229 [20] Kuhn S.T.：作为模态算子的量词。Studia Logica逻辑研究39、145-158（1980）·兹比尔0457.03015 ·doi:10.1007/BF00370318 [21] Kurucz，A.，《组合模态逻辑》，载于P.Blackburn、J.van Benthem和F.Wolter（编辑），《模态逻辑手册》，逻辑和实践推理研究第3卷，爱思唯尔，阿姆斯特丹，2007年，第869-924页·兹比尔1103.03020 [22] Kurucz A.，《对角线常数缺乏有限模型特性的模态逻辑乘积》，S.Ghilardi和R.Sebastiani（编辑），Procs。摘自CoS-2009，LNCS第5749卷，施普林格，纽约，2009年，第279-286页·Zbl 1193.03041号 [23] Kurucz，A.，《可表示圆柱代数和多维模态逻辑》，收录于H.Andréka、M.Ferenczi和I.Németi（编辑），《类圆柱代数和代数逻辑》，Bolyai Society Mathematical Studies第22卷，Springer，2013年，第185-203页·Zbl 1284.03276号 [24] 马克思M。：模态逻辑产品的复杂性。逻辑与计算杂志9，197-214（1999）·Zbl 0945.03025号 ·doi:10.1093/logcom/9.2.197 [25] 马克思·M、雷诺兹·M：罗盘逻辑的不确定性。《逻辑与计算杂志》9，897-914（1999）·Zbl 0941.03018号 ·doi:10.1093/log.com/9.6.897 [26] Mayr，R.，《不可靠计算中的不可判定问题》，G.H.Gonnet，D.Panario和A.Viola（编辑），《拉丁美洲-2000年会议论文集》，LNCS第1776卷，Springer，纽约，2000年，第377-386页·Zbl 0963.68072号 [27] Minsky M.：有限和无限机器。Prentice-Hall，Upper Saddle River（1967年）·Zbl 0195.02402号 [28] 莫蒂默M.：有两个变量的语言。Zeitschrift für Mathematische Logik und Grundlagen der Mathematik数学21，135-140（1975）·Zbl 0343.0209号 ·doi:10.1002/malq.19750210118 [29] knine，J.和J.Worrell，《关于度量时间逻辑和故障图灵机》，载于L.Aceto和A.Ingólfsdóttir（编辑），Procs。FOSSACS-2006，LNCS第3921卷，施普林格，纽约，2006年，第217-230页·Zbl 1180.03021号 [30] 奎因，W.V.，《代数逻辑和谓词函子》，收录于R.Rudner和I.Scheffer（编辑），《逻辑与艺术：纪念纳尔逊·古德曼的论文》，鲍勃斯·梅里尔出版社，1971年。《悖论和其他散文的方式》第二版，哈佛大学出版社，剑桥，马萨诸塞州，1976年，经修订后重印·Zbl 0902.03008号 [31] 雷诺兹·M：可判定的并行时序逻辑。《圣母院形式逻辑杂志》38，419-436（1997）·Zbl 0904.03010号 ·doi:10.1305/ndjfl/1039700748 [32] Reynolds M.，Zakharyaschev M.：关于线性模态逻辑的乘积。《逻辑与计算杂志》11，909-931（2001）·兹比尔1002.03017 ·doi:10.1093/logcom/11.6.909 [33] Schmidt，R.和D.Tishkovsky，《将动态逻辑与多沙体模态逻辑相结合》，收录于P.Balbiani、N.Y.Suzuki、F.Wolter和M.Zakharyaschev（编辑），《模态逻辑进展》，第4卷，国王学院出版，伦敦，2003年，第371-391页·兹比尔1081.03023 [34] Scott D.：一种判断句子在两个变量中有效性的方法。符号逻辑杂志27477（1962） [35] Segerberg K.：具有线性替代关系的模态逻辑。理论36，301-322（1970）·Zbl 0235.02019 ·doi:10.1111/j.1755-2567.1970.tb00429.x [36] Segerberg K.：二维模态逻辑。《哲学逻辑杂志》2，77-96（1973）·Zbl 0259.02013 ·doi:10.1007/BF02115610 [37] Shehtman V.：二维模态逻辑。苏联科学院数学通告23，417-424（1978）（俄文翻译）·Zbl 0403.03015号 [38] Shehtman V.：关于带有附加连接词的模态逻辑方块。Steklov数学研究所学报274，317-325（2011）·Zbl 1294.03018号 ·doi:10.1134/S0081543811060204 [39] Spaan，E.，模态逻辑的复杂性，博士论文，阿姆斯特丹大学，1993年·Zbl 0831.03005号 [40] Tobies S.，《知识表示中逻辑的复杂性结果和实用算法》，博士论文，亚琛，技术学院，2001年·Zbl 0403.03015号 [41] Venema，Y.，《多维模态逻辑》，博士论文，阿姆斯特丹大学，1991年·Zbl 0873.03009号 [42] Wajsberg M.：Ein erweiterter Klassenkalkül。莫纳什数学物理40，113-126（1933）·doi:10.1007/BF01708856 [43] Wolter F.：逆向PDL与多模K的乘积。逻辑与计算杂志10，223-251（2000）·Zbl 0959.03013号 ·doi:10.1093/log.com/10.2.223 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。