×
菲利普·巴尔比亚尼;乔丹·根瑟;玛丽亚姆·罗斯塔米吉夫;廷切夫、廷科

关于\（\mathbf{K}+\square\square\bot\）的统一类型。 （英语） Zbl 07517438号

安。数学。Artif公司。智力。 90，第5期，481-497（2022）.
摘要：命题逻辑中的统一问题是确定，给定一个公式（φ），是否存在替换（σ），使得在该逻辑中存在（σ（φ）。在这种情况下，\（\sigma\）是\（\phi\）的统一者。当一个可统一的公式具有最小的统一器完备集时，它要么是无穷的，要么是有限的，要么就是酉的，这取决于它的最小统一器完备集合的基数。否则，它是无效的。本文证明了在模态逻辑（mathbf{K}+\square\square\bot）中，可统一公式要么是有限的，要么是酉的。

MSC公司：

03B45号 模态逻辑（包括规范逻辑）
03B70号 计算机科学中的逻辑
68T27型 人工智能中的逻辑

关键词：

命题模态逻辑;局部表格模态逻辑;统一问题;统一类型
PDF格式BibTeX公司 XML格式引用
\textit{P.Balbiani}等人，《数学年鉴》。Artif公司。智力。90，编号5，481--497（2022；Zbl 07517438）
全文： 内政部

参考文献：

[1] Baader，F.，Fernández Gil，O.，Rostamigiv，M.：描述逻辑中的受限统一。摘自：第35届国际统一研讨会，非正式会议，第8-14页（2021年）·Zbl 07497917号
[2] 巴德，F。；Ghilardi，S.，模态和描述逻辑的统一，IGPL逻辑期刊，19705-730（2011）·Zbl 1258.03018号 ·doi:10.1093/jigpal/jzq008
[3] 巴德，F。；Narendran，P.，《描述逻辑中概念术语的统一》，J.Symb。计算。，31, 277-305 (2001) ·Zbl 0970.68166号 ·doi:10.1006/jsco.2000.0426
[4] Balbiani，P.，关于几种非对称非传递模态逻辑的统一类型的评论，IGPL的逻辑杂志，27，639-658（2019）·Zbl 1494.03046号 ·doi:10.1093/jigpal/jzy078
[5] 巴尔比亚尼，P。；乔·根瑟。，KD无效，J.Appl。非类别。日志。，27, 196-205 (2017) ·Zbl 1398.03086号 ·doi:10.1080/11663081.2018.1428000
[6] 巴尔比亚尼，P。；乔·根瑟。，《认知逻辑中的统一》，J.Appl。非类别。日志。，27, 91-105 (2017) ·兹比尔1398.03070 ·doi:10.1080/11663081.2017.1368845
[7] 巴尔比亚尼，P。；乔·根瑟。，关于KB和KTB之间模态逻辑的统一类型，Stud.Logica。，108, 941-966 (2020) ·Zbl 1486.03038号 ·doi:10.1007/s11225-019-09883-0
[8] Balbiani，P.，Gencer，圣彼得堡。，Rostamigiv，M.，Tinchev，T.：关于由确定性框架类确定的模态逻辑的统一类型，arXiv:2004.07904v1[cs.LO]（2020）
[9] Balbiani，P.，Tinchev，T.：模态逻辑Alt_1中的统一。摘自：《模态逻辑进展》，大学出版物，第117-134页（2016年）·Zbl 1400.03037号
[10] 巴尔比亚尼，P。；Tinchev，T.，《模态逻辑KD45中的基本统一》，J.Appl。逻辑，5301-317（2018）·Zbl 1349.03024号
[11] 布莱克本，P。；de Rijke，M。；Venema，Y.，模态逻辑（2001），剑桥：剑桥大学出版社，剑桥·Zbl 0988.03006号 ·doi:10.1017/CBO9781107050884
[12] 查格罗夫，A。；Zakharyaschev，M.，模态逻辑（1997），牛津：牛津大学出版社，牛津·Zbl 0871.03007号
[13] Dzik，W.，《S5模态逻辑及其扩展的统一》，布尔。第节。日志。，32, 19-26 (2003) ·Zbl 1039.03009号
[14] Dzik，W.：逻辑中的统一类型。Wydawnicto Uniwersytetu Slaskiego（2007年）·兹比尔1148.03003
[15] Dzik，W。；Wojtylak，P.，《模态逻辑中的投影统一》，《IGPL逻辑杂志》，第20期，第121-153页（2012年）·Zbl 1260.03041号 ·doi:10.1093/jigpal/jzr028
[16] 加巴伊，D。；Shehtman，V.，模态逻辑的产品，第1部分，IGPL的逻辑杂志，673-146（1998）·Zbl 0902.03008号 ·doi:10.1093/jigpal/6.1.73
[17] Ghilardi，S.，《最佳求解模态方程》，Ann.Pure Appl。日志。，102, 183-198 (2000) ·Zbl 0949.03010号 ·doi:10.1016/S0168-0072（99）00032-9
[18] Ghilardi，S.，各种Heyting代数的统一性、有限对偶性和射影性，Ann.Pure Appl。日志。，127, 99-115 (2004) ·Zbl 1058.03020号 ·doi:10.1016/j.apal.2011年11月10日
[19] 吉拉尔迪，S。；Sacchetti，L.，《滤波统一和模态逻辑中的大多数通用统一器》，J.Symb。日志。，69, 879-906 (2004) ·Zbl 1069.03011号 ·doi:10.2178/jsl/1096901773
[20] Goranko，V.，Otto，M.：模态逻辑的模型理论。摘自：《模态逻辑手册》，第249-329页。Elsevier（2007）
[21] Iemhoff，R.，传递自反模态逻辑中统一的句法方法，圣母院形式逻辑杂志，57233-247（2016）·Zbl 1436.03133号
[22] Jer̆ábek，E.：逻辑与定向统一。In:乌得勒支大学代数与余代数与证明理论研讨会（2013）
[23] Jer̆ábek，E.，混合边距：模态逻辑K具有nullary统一类型，J.Log。计算。，25, 1231-1240 (2015) ·Zbl 1328.03019号 ·doi:10.1093/log.com/ext055
[24] Kost，S.，传递模态逻辑中的投射统一，IGPL逻辑杂志，26548-566（2018）·Zbl 1492.03007号 ·doi:10.1093/jigpal/jzy013
[25] Kracht，M.：模态逻辑中的工具和技术。爱思唯尔（1999）·Zbl 0927.03002号
[26] 宫崎骏，Y.：包含KTB和一些有限条件的正规模态逻辑。摘自：《模态逻辑进展》，第171-190页。大学出版物（2004年）·Zbl 1102.03019号
[27] Nagle，M。；Thomason，S.，《模态逻辑K5的扩展》，J.Symb。日志。，50, 102-109 (1985) ·Zbl 0586.03012号 ·doi:10.2307/2273793
[28] Shapirovsky，I.，Shehtman，V.：无及物性的局部表格。摘自：《模态逻辑进展》，第520-534页。学院出版物（2016）·Zbl 1400.03051号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。