安德烈·彼得鲁兹扎克（Andrzej Pietruszczak）;马特乌斯·克洛诺夫斯基;雅罗斯拉夫·彼得鲁金 一些常规模态逻辑的简化Kripke式语义。 （英语） 兹比尔1452.03061 螺柱日志。 108，编号3，451-476（2020）. 克里普克模型的变化很有趣，原因有很多。首先，没有那么多。其次，它们通过克里普克模型帮助连接代数语义和拓扑语义。这使我们对模态逻辑有了更广泛的了解。本文处于这三个原因的中心。对于模态逻辑的读者来说，它帮助绘制的更大的画面非常重要，因为它一直到80年代的老论文。本文证明了关于简化语义/模态框架的正规模态逻辑的一些结果。结果很有趣。这个项目的下一件事是讨论其他模态语义学和范畴理论之间的联系，这也会给主题带来数学上的挑战性问题。审核人：坎·巴斯肯特（伦敦） 引用于1文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 关键词：简化的克里普克式语义;半通用框架;正规模态逻辑 PDF格式BibTeX公司 XML格式引用 \textit{A.Pietruszczak}等人，研究日志。108，第3号，451--476（2020；Zbl 1452.03061） 全文： 内政部 参考文献： [1] Chellas，B.F.，模态逻辑。《导论》，剑桥大学出版社，1980年。10.1017/CBO9780511621192·Zbl 0431.03009号 [2] Nagle，MC，正常K5逻辑的可判定性，符号逻辑杂志，46，2，319-328（1981）·Zbl 0473.03009号 ·doi:10.2307/2273624 [3] Nasienewski，M。；Pietruszczak，A.，一种生成模态逻辑的方法，定义了Ja sh kowski的讨论逻辑（D_2），Studia Logica，97，1，161-182（2011）·Zbl 1215.03040号 ·doi:10.1007/s11225-010-9302-2 [4] Nasienewski，M.和A.Pietruszczak，《关于定义Ja she kowski’s（D_2）-结果的模态逻辑》，K.Tanaka、F.Berto、E.Mares和F.Paoli（编辑）第9章，Paraconsistence:Logic and Applications，Springer 2013。2007年10月17日/F978-94-007-4438-7_9·Zbl 1259.03040号 [5] Pietruszczak，A.，模态逻辑K45、KB4和KD45的简化Kripke风格语义，逻辑部分公报，38，3-4，163-171（2009）·Zbl 1222.03026号 ·doi:10.12775/LLP.2009.013 [6] Pietruszczak，A.，《关于C1和S5之间模态逻辑的无迭代模态的论文》。第1部分，逻辑部分公报，46，1-2111-133（2017）·Zbl 1423.03062号 ·doi:10.18778/0138-0680.46.1.2.09 [7] Pietruszczak，A.，《关于C1和S5之间模态逻辑的无迭代模态的论文》。第2部分，逻辑部分公报，46，3-4，197-218（2017）·Zbl 1423.03063号 ·doi:10.18778/0138-0680.46.3.4.03 [8] Segerberg，K.，《古典模态逻辑随笔》，乌普萨拉，1971年·Zbl 0311.02028号 [9] Zakharyaschev，M.、F.Wolter和A.Chagrov，《高级模态逻辑》，载于D.M.Gabbay和F.Guenthner（编辑），《哲学逻辑手册》，第2版，第3卷，Kluwer学术出版社，2001年，第83-266页。10.1007/978-94-017-0454-0. ·Zbl 1003.03516号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。