徐明 有限宽度的传递逻辑与适当的后继等价。 （英语） Zbl 07450669号 螺柱日志。 109，第6期，1177-1200（2021）. 摘要：本文对有限宽传递逻辑的Fine完备性定理进行了推广，并证明了有限“suc-eq-width”传递逻辑的Kripke完全性。每个有限等宽公理的框架条件要求，在根传递框架中，具有不同适当后继的点反链的基数有一个有限上界。本文还推广了前缀宽度传递逻辑的Rybakov完备性定理，并证明了前缀“suc-eq-width”传递逻辑的Kripke完备性。每个前缀如eq宽度公理的框架条件要求，在根传递框架中，具有有限深度下界且具有不同适当后继的点的反链的基数有一个有限上界。我们将构造有限suc-eq宽度但不是有限宽度的传递逻辑的连续统，以及前缀suc-eq-宽度但不是前缀宽度的传递逻辑学的连续统。这表明，我们的新完备性结果分别涵盖了比Fine定理和Rybakov定理多得多的逻辑。 引用于1文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 关键词：模态逻辑;克里普克完备性;有限宽度传递逻辑;有限suc-eq宽度的传递逻辑;前缀宽度的传递逻辑;前缀suc-eq-width的传递逻辑 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}，Stud.Log。109，编号6，1177--1200（2021；Zbl 07450669） 全文： 内政部 参考文献： [1] Chagrov，A.和M.Zakharyaschev，模态逻辑，牛津逻辑指南第35卷，牛津大学出版社，牛津，1997年·Zbl 0871.03007号 [2] Fine，K.，包含S4的不完全逻辑，理论40（1）：23-291974·Zbl 0287.02011号 [3] Fine，K.，《包含K4的逻辑学》，第一部分，《符号逻辑杂志》39（1）：31-421974·兹伯利0287.02010 [4] Fine，K.，《包含K4的逻辑学》，第二部分，《符号逻辑杂志》50（3）：619-6511985·Zbl 0574.03008号 [5] Kracht，M.，《模态逻辑中的工具和技术》，《逻辑和数学基础研究》第142卷，Elsevier Science B.V.，阿姆斯特丹、洛桑和纽约，1999年·Zbl 0927.03002号 [6] Rybakov，V.V.，带前缀宽度的模态逻辑的完整性，苏联科学院数学笔记32（2）：591-5931982·Zbl 0504.03008号 [7] Segerberg，K.，《经典模态逻辑的一篇论文，哲学研究》，乌普萨拉大学哲学学会和哲学系出版，乌普巴拉，1971年。 [8] 张毅，徐明明，关于有限深度传递逻辑有限公理化的一些结果，人民大学哲学系手稿；武汉大学哲学系，2018年。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。