玛丽安娜·吉兰多;萨拉·内格里;尼古拉·奥利维蒂 基于邻域语义的优先条件逻辑的统一标记计算。 （英语） Zbl 07398778号 J.日志。计算。 31,3号，947-997（2021）. 摘要：研究了Burgess提出的优先条件逻辑（mathbb{PCL}）及其扩展。首先，提出了一种基于邻域模型的自然语义，推广了Lewis的反事实逻辑球体模型。直接证明了（mathbb{PCL}）及其扩张关于这类模型的健全性和完备性。然后介绍了该族所有逻辑的标记序列计算。计算是模块化的，具有标准的证明理论属性，其中最重要的是cut的可接受性，这需要对计算的完整性进行语法证明。通过采用一般策略，root-first-proof搜索终止，从而为\（\mathbb{PCL}\）及其扩展提供决策过程。最后，建立了演算的语义完备性：在一次失败的证明尝试中，可以从一个有限分支中提取根序列的有限反模型。后一结果给出了所考虑的所有逻辑的有限模型性质的构造性证明。 引用于2文件 MSC公司： 03年XX月 数学逻辑和基础 68倍 计算机科学 关键词：优先条件逻辑;邻域语义;标记序列演算 PDF格式BibTeX公司 XML格式引用 \textit｛M.Girlando｝等人，J.日志。计算。31，编号3，947-997（2021；兹bl 07398778） 全文： DOI程序 arXiv公司 哈尔