×
泽维尔·凯塞多;乔治·梅特卡夫;里卡多·罗德里格斯;乔纳斯·罗格

基于订单的模态逻辑的可判定性。 （英语） Zbl 1423.03056号

J.计算。系统。科学。 88, 53-74 (2017).
摘要：针对一类多值模态逻辑，特别是哥德尔模态逻辑，建立了有效性问题的可判定性，其中命题连接词是根据实单位区间（[0,1]\）的完备子格中的值的顺序来计算的，方块和菱形模式被评估为（多值）克里普克框架上的中缀和上确界。如果子格是无限的，并且语言具有足够的表达能力，那么这种逻辑的标准语义缺少有限模型属性。然而，这里显示，在给定某些正则性条件下，有限模型属性为逻辑提供了一种新的语义，为建立可判定性和PSPACE-完整性提供了基础。对于与一阶多值逻辑的单变量片段相一致的（mathsf{S5}）逻辑，也建立了类似的结果。特别地，给出了一阶哥德尔逻辑单变量片段有效性的可判定性和共NP完全性的第一个证明。

引用于12文件

MSC公司：

03B45号 模态逻辑（包括规范逻辑）
03B25号 理论和句子集的可判定性

关键词：

模态逻辑;多值逻辑;哥德尔逻辑;单变量碎片;可判定性;复杂性;有限模型特性
PDF格式BibTeX公司 XML格式引用
\textit{X.Caicedo}等人，《计算杂志》。系统。科学。88、53-74（2017；Zbl 1423.03056）
全文： 内政部 链接

参考文献：

[1] Baaz，M。；Preining，北。；Zach，R.，一阶哥德尔逻辑，纯应用。日志。，147, 23-47 (2007) ·Zbl 1146.03010号
[2] 贝克曼，A。；Goldstern，M。；Preining，N.，《连续弗雷塞猜想》，Order，25，4，281-298（2008）·Zbl 1171.03027号
[3] Bezhanishvili，G。；Zakharyaschev，M.，《MIPC上的逻辑》，（非经典逻辑的序贯演算和克里普克语义学论文集。非经典逻辑中的序贯微积分和克里普科语义学文献集，RIMS Kokyuroku 1021，京都大学（1997）），86-95·Zbl 0940.03022号
[4] 布莱克本，P。；de Rijke，M。；Venema，Y.，模态逻辑（2001），剑桥大学出版社·Zbl 0988.03006号
[5] Bobillo，F。；德尔加多，M。；Gómez-Romero，J。；美国斯特拉契亚，《哥德尔语义学下的模糊描述逻辑》，《国际近似推理》。，50, 3, 494-514 (2009) ·Zbl 1191.68647号
[6] Bou，F。；埃斯特娃，F。；戈多，L。；Rodríguez，R.，关于有限剩余格上的最小多值逻辑，J.Log。计算。，739-790年5月21日（2011年）·Zbl 1252.03040号
[7] Bull，R.A.，MIPC作为直觉主义情态概念的形式化，J.Symb。日志。，31, 609-616 (1966) ·Zbl 0192.03001号
[8] Caicedo，X。；梅特卡夫，G。；罗德里格斯，R。；Rogger，J.，《哥德尔模态逻辑的有限模型特性》（WoLLIC 2013年会议记录）。WoLLIC 2013年会议记录，LNCS，第8701卷（2013），Springer），226-237·Zbl 1395.03008号
[9] Caicedo，X。；Rodríguez，R.，《标准哥德尔模态逻辑》，Stud.Log。，94, 2, 189-214 (2010) ·Zbl 1266.03030号
[10] Caicedo，X。；Rodríguez，R.，（[0,1]\）值Kripke框架上的双模哥德尔逻辑，J.Log。计算。，25, 1, 37-55 (2015) ·Zbl 1371.03035号
[11] Ciabattoni，A。；梅特卡夫，G。；Montagna，F.，MTL及其扩展的真值压力因子的代数和证明理论表征，模糊集系统。，161, 369-389 (2010) ·Zbl 1190.03026号
[12] 迪亚科内斯库，D。；Georgescu，G.，MV-代数和Łukasiewicz-Moisil代数上的时态算子，Fundam。通知。，81, 4, 379-408 (2007) ·Zbl 1136.03045号
[13] 迪亚科内斯库，D。；梅特卡夫，G。；Schnüriger，L.，实值模态逻辑的公理化，（《AiML论文集》2016（2016），国王学院出版），236-251·兹比尔1400.03039
[14] Dummett，M.，《具有可数矩阵的命题演算》，J.Symb。日志。，24, 97-106 (1959) ·Zbl 0089.24307号
[15] Fitting，M.C.，多值模态逻辑，Fundam。通知。，15, 235-254 (1991) ·Zbl 0745.03018号
[16] Fitting，M.C.，多值模态逻辑II，Fundam。通知。，17, 55-73 (1992) ·Zbl 0772.03006号
[17] 戈多，L。；Hájek，P。；Esteva，F.，信念函数的模糊模态逻辑，Fundam。通知。，57, 2-4, 127-146 (2003) ·Zbl 1044.03009号
[18] 戈多，L。；Rodríguez，R.，《用于相似性推理的模糊模式逻辑》（fuzzy logic and Soft Computing，1999），Kluwer，33-48
[19] Hájek，P.，《模糊逻辑的元数学》（1998），Kluwer:Kluwer-Dordrecht·Zbl 0937.03030号
[20] Hájek，P.，关于非常真，模糊集系统。，124, 329-334 (2001) ·兹比尔0997.03028
[21] Hájek，P.，《使模糊描述逻辑更通用》，模糊集系统。，154, 1, 1-15 (2005) ·Zbl 1094.03014号
[22] Hájek，P。；Harmancová，D。；埃斯特娃，F。；加西亚，P。；Godo，L.，《关于模糊环境中定性可能性的模态逻辑》（UAI 1994（1994）会议录），278-285
[23] Hansoul，G.等人。；Teheux，B.，用模态扩展Łukasiewicz逻辑：关系语义的代数方法，Stud.Log。，101, 3, 505-545 (2013) ·Zbl 1272.03100号
[24] 康查科夫，R。；A.库鲁茨。；Zakharyaschev，M.，带两个变量的一阶直觉主义和模态逻辑的不可判定性，布尔。符号。日志。，11, 3, 428-438 (2005) ·兹比尔1096.03008
[25] Ladner，R.E.，《模态命题逻辑系统可证明性的计算复杂性》，SIAM J.Comput。，6, 3, 467-480 (1977) ·兹伯利0373.02025
[26] Marx，M.，《单变量直觉谓词逻辑的复杂性》（2001年），ILLC科学出版物：ILLC科学出版社阿姆斯特丹，技术报告PP-2001-01
[27] 梅特卡夫，G。；Olivetti，N.，《走向哥德尔模态逻辑的证明理论》，Log。方法计算。科学。，7, 2, 1-27 (2011) ·Zbl 1266.03044号
[28] 梅特卡夫，G。；Olivetti，N。；Gabbay，D.，《模糊逻辑的证明理论》，《应用逻辑》，第36卷（2008年），施普林格出版社
[29] 莫蒂默，M.，《关于双变量语言》，Z.数学。日志。格兰德。数学。，21, 135-140 (1975) ·Zbl 0343.0209号
[30] Priest，G.，《多值模态逻辑：简单方法》，Rev.Symb。日志。，1, 190-203 (2008) ·Zbl 1206.03022号
[31] Prior，A.，《时间与模态》（1957），克拉伦登出版社：牛津克拉伦登出版社·兹伯利0079.00606
[32] Savitch，W.J.，《不确定性和确定性磁带复杂性之间的关系》，J.Compute。系统。科学。，4, 2, 177-192 (1970) ·兹比尔0188.33502
[33] 肖克尔特，S。；De Cock，M。；Kerre，E.，《模糊区域连接演算中的空间推理》，Artif。智力。，173, 2, 258-298 (2009) ·Zbl 1180.03013号
[34] Servi，G.Fischer，一些直觉模态逻辑的公理化，Rend。塞米恩。马特大学政治学院。都灵，42，179-194（1984）·Zbl 0592.03011号
[35] 美国斯特拉契亚，《模糊描述逻辑中的推理》，J.Artif。智力。决议，第14号，第137-166页（2001年）·Zbl 0973.03034号
[36] Wolter，F.，经典模态逻辑的超直觉伴随物，Stud.Log。，58229-259（1997年）·Zbl 0952.03020号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。