阿曼达·维达尔 关于传递模态多值逻辑。 （英语） Zbl 1464.03023号 模糊集系统。 407, 97-114 (2021). 摘要：本文主要研究由值Kripke框架定义的模态逻辑，特别是在某些剩余格上评估的传递Kripke-框架的模态逻辑的可计算性和表示性问题。结果表明，这些逻辑的一大类——包括来自标准MV和乘积代数的逻辑——产生了一个不可判定的结果关系。随后，将及物模态Łukasiewicz逻辑的行为与其非及物对等逻辑的行为进行了比较，展示了与其他逻辑有关的可计算性和等价性的一些细节。最后，我们展示了在逻辑中添加\（\ Delta \）操作时，传递模型的有效性和局部SAT问题的不可判定性。 引用于2文件 MSC公司： 03B50号 多值逻辑 03B45号 模态逻辑（包括规范逻辑） PDF格式BibTeX公司 XML格式引用 \textit{A.Vidal}，模糊集系统。407，97-114（2021；Zbl 1464.03023） 全文： 内政部 arXiv公司 参考文献： [1] 巴德，F。；Peñaloza，R.，GCI在产品t-范数不可判定的模糊DL中进行推理，（2011年描述逻辑国际研讨会论文集。2011年描述逻辑学国际研讨会论文集中，DL'11（2011）） [2] Baaz，M。；Ciabattoni，A。；Fermüller，C.G.，哥德尔逻辑的Monadic片段：可判定性和不可判定性结果，（LPAR，《程序设计、人工智能和推理的逻辑》，第14届国际会议，会议记录。LPAR，《程序设计、人工智能和推理逻辑》，第14届国际会议论文集。LPAR，《程序设计、人工智能和推理的逻辑》，第14届国际会议，会议记录，LPAR 2007，亚美尼亚埃里温，2007年10月15-19日，计算机科学讲稿，第4790卷（2007）），77-91·Zbl 1138.03025号 [3] 博格沃德，S。；Distel，F。；Peñaloza，R.，具有一般概念包含的模糊描述逻辑中可判定性的极限，Artif。整数。，218, 23-55 (2015) ·Zbl 1319.68211号 [4] Bou，F。；埃斯特娃，F。；戈多，L。；Rodríguez，R.，关于有限剩余格上的最小多值模态逻辑，J.Log。计算。，21, 5, 739-790 (2011) ·Zbl 1252.03040号 [5] Caicedo，X.，Łukasiewicz谓词逻辑的Lindström定理，Fundam。数学。（2020），出版中 [6] 凯塞多，X。；梅特卡夫，G。；罗德里格斯，R。；Rogger，J.，《哥德尔模态逻辑的有限模型性质》，（Libkin，L.；Kohlenbach，U.；de Queiroz，R.，《逻辑、语言、信息和计算》，《逻辑，语言，信息和计算，计算机科学讲义》，第8071卷（2013），施普林格：施普林格-柏林-海德堡）·Zbl 1395.03008号 [7] Caicedo，X。；梅特卡夫，G。；罗德里格斯，R。；罗格，J.，基于顺序的模态逻辑的可判定性，J.计算。系统。科学。，88, 53-74 (2017) ·Zbl 1423.03056号 [8] Caicedo，X。；Rodríguez，R.O.，《标准哥德尔模态逻辑》，Stud.Log。，94, 2, 189-214 (2010) ·Zbl 1266.03030号 [9] Caicedo，X。；Rodriguez，R.O.，（[0,1]\）值Kripke框架上的双模哥德尔逻辑，J.Log。计算。，25，1，37-55（2015）·Zbl 1371.03035号 [10] 塞拉米，M。；埃斯特娃，F。；Bou，F.，无限值乘积逻辑上描述逻辑的可判定性，（Lin，F.；Sattler，U。；Truszczynski，M.，《知识表示和推理原则：第十二届国际会议论文集》。《知识表示和推理原理：第十二届国际会议论文集》，KR 2010，加拿大安大略省多伦多，2010年5月9日至13日（2010），AAAI出版社，203-213 [11] 塞拉米，M。；埃斯特娃，F。；Garcia Cerdaña，a.，关于模糊描述逻辑和多值模态逻辑之间的关系，Int.J.近似理性。，93, 372-394 (2018) ·Zbl 1452.68182号 [12] 塞拉米，M。；美国斯特拉契亚，《关于GCI模糊描述逻辑的不可判定性与Łukasiewicz t-范数》，《信息科学》。，227, 1-21 (2013) ·Zbl 1293.68255号 [13] （Došen，K.；Schroeder-Heister，P.，《亚结构逻辑》，《逻辑与计算研究》，第2卷（1993），牛津大学出版社） [14] 埃斯特娃，F。；Godo，L.，基于单体t-范数的逻辑：走向左旋t-范本的逻辑，模糊集系统。，124, 271-288 (2001) ·Zbl 0994.03017号 [15] Fitting，M.，多值模态逻辑，Fundam。通知。，15, 235-254 (1992) ·Zbl 0745.03018号 [16] Fitting，M.，多值模态逻辑，II，Fundam。通知。，17, 55-73 (1992) ·Zbl 0772.03006号 [17] 北卡罗来纳州加拉托斯。；吉普森，P。；科瓦尔斯基，T。；Ono，H.，《剩余格：子结构逻辑的代数一瞥》，《逻辑与数学基础研究》，第151卷（2007年），爱思唯尔：爱思唯尔阿姆斯特丹·Zbl 1171.03001号 [18] 甘辛格，H。；梅耶，C。；Veanes，M.，《具有传递关系的双变量保护碎片》（第14届计算机科学逻辑研讨会论文集（分类号PR00158）（1999）），24-34 [19] Grädel，E。；奥托，M。；Rosen，E.，二变量逻辑的不确定性结果，Arch。数学。日志。，38, 213-354 (1999) ·兹伯利0927.03015 [20] Hájek，P.，《模糊逻辑的元数学》，Logic-Studia Logica Library趋势，第4卷（1998年），Kluwer学术出版社：Kluwer-学术出版社Dordrecht·Zbl 0937.03030号 [21] Hájek，P.，《使模糊描述逻辑更通用》，模糊集系统。，154, 1, 1-15 (2005) ·Zbl 1094.03014号 [22] Hansoul，G。；Teheux，B.，用模态扩展Łukasiewicz逻辑：关系语义的代数方法，Stud.Log。，101, 3, 505-545 (2013) ·Zbl 1272.03100号 [23] 梅特卡夫，G。；Olivetti，N.，走向哥德尔模态逻辑的证明理论，Log。方法计算。科学。，7, 2, 27 (2011) ·Zbl 1266.03044号 [24] Post，E.L.，递归无法解决问题的变体，Bull。美国数学。《社会》，264-268（1946）·Zbl 0063.06329号 [25] 美国斯特拉契亚，《模糊描述逻辑中的推理》，J.Artif。智力。决议，第14号，第137-166页（2001年）·兹伯利0973.03034 [26] 维达尔，A。；埃斯特娃，F。；Godo，L.，关于乘积模糊逻辑的模态扩展，J.Log。计算。，27, 1, 299-336 (2017) ·Zbl 1390.03025号 [27] Zolin，E.，带逆的传递梯度模态逻辑的不可判定性，J.Log。计算。，27, 5, 1399-1420 (2017) ·Zbl 1444.03079号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。