帕特里克·布莱克本;曼纽尔·马丁斯;玛丽亚·曼扎诺;安东尼娅·韦尔塔斯 驱散幻影区。 （英语） Zbl 07540276号 Inf.计算。 287，文章ID 104754，21 p.（2022）. 摘要：本文介绍了一种一阶混合逻辑语言，其中函数符号由部分函数解释，并证明了一些完备性结果。语法上，我们的语言建立在基本的命题混合语言有一个原始的一元谓词符号（mathsf{DEN}），用于测试一个词是否表示，并允许满足操作符将谓词和函数符号严格化。从语义上讲，我们的系统是真实的，允许术语未定义，并且没有真值差距。但是，我们应该遵循Fitting和Mendelsohn，排除不属于任何世界的领域元素，还是应该容忍它们？在这里，我们将探讨这两种选择。正如我们将看到的那样，虽然选择在有效性方面没有什么不同，但它会对更丰富的逻辑产生影响。 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 关键词：一阶混合逻辑;部分函数语义;僵化;外延 PDF格式BibTeX公司 XML格式引用 \textit{P.Blackburn}等人，《信息计算》。287，文章ID 104754，21 p.（2022；Zbl 07540276） 全文： 内政部 参考文献： [1] 配件，M。；Mendelsohn，R.，一阶模态逻辑（1998），Springer·Zbl 1025.03001号 [2] Cate，B.，《扩展模态语言的模型理论》（2005），阿姆斯特丹大学，iLLC论文系列DS-2005-01 [3] 布莱克本，P。；《纯粹扩展、证明规则和混合公理学》，Stud.Log。，84, 277-322 (2006) ·Zbl 1115.03009号 [4] 阿瑞斯，C。；ten Cate，B.，《混合逻辑》（模态逻辑手册（2007），Elsevier），821-868·Zbl 1114.03001号 [5] Areces，C。；布莱克本，P。；A.韦尔塔斯。；Manzano，M.，《混合型理论的完备性》，J.Philos。日志。，43, 209-238 (2014) ·Zbl 1338.03031号 [6] 布莱克本，P。；A.韦尔塔斯。；Manzano，M。；Jörgensen，K.F.，Henkin和混合逻辑，（Leon Henkin的生活和工作（2014），Springer），279-306·Zbl 1336.03022号 [7] 曼扎诺，M。；Martins，医学硕士。；Huertas，A.，《等式混合命题类型理论的语义学》，布尔。第节。日志。，43, 3-4, 121-138 (2014) ·Zbl 1318.03031号 [8] Manzano，M。；马丁斯，M。；Huertas，A.，方程混合命题类型理论中的完备性，Stud.Log。，107, 6, 1159-1198 (2019) ·Zbl 1531.03015号 [9] M.Manzano、A.Huertas、P.Blackburn、M.Martins、V.Aranda，《混合部分类型理论》，2021年，提交出版。 [10] 布莱克本，P。；Marx，M.，Tableaux for quantified hybrid logic，（Egly，U.；Fernmüller，C.，Automated Reasoning with Analytic Tableaux and Related Methods，International Conference，Tableaux 2002）。使用分析表和相关方法的自动推理，国际会议，Tableaux 2002，丹麦哥本哈根（2002）），38-52·Zbl 1015.03014号 [11] 布莱克本，P。；马丁斯，M。；Manzano，M。；Huertas，A.，刚性一阶混合逻辑，（2019年逻辑、语言、信息和计算国际研讨会，Springer），53-69·Zbl 1530.03075号 [12] Bull，R.，《时态逻辑的方法》，《理论》，第36、3、282-300页（1970年）·Zbl 0227.02012 [13] 加戈夫，G。；Goranko，V.，《模态逻辑与名称》，J.Philos。日志。，22, 6, 607-636 (1993) ·Zbl 0793.03012号 [14] 布莱克本，P。；Tzakova，M.，《混合语言和时序逻辑》，Log。J.IGPL，7，1，27-54（1999）·Zbl 0920.03029号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。