沃尔夫冈·劳滕贝格 模态表计算和插值。 （英语） Zbl 0547.03015号 J.菲洛斯。逻辑 12, 403-423 (1983). 本文证明了在连接词为（neg）、（wedge）、（square）和（bigcirc）（falsum）且具有完整tableau系统的语言上所有命题模态计算都具有插值性质，只要tableau规则满足一定条件。这些条件包括一大类正常模态计算。作者还提出了几种模态计算（包括B、K4、G、Gr和扩展）的表系统，并用构造方法证明了这些表系统在适当的Kripke语义方面的完备性。具体地说，有限模型特性适用于这些系统，它们也满足插值特性的其余条件。讨论了各种其他例子中插值性质的存在性问题，特别是K4、G和Gr的一些扩张类。审核人：W.卡尼利 引用于31文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 03C40号 插值、保存、可定义性 关键词：命题模态计算;tableau系统;插值特性;正常模态计算;克里普克语义学;有限模型特性 PDF格式BibTeX公司 XML格式引用 \textit{W.劳滕贝格}，J.菲洛斯。日志。12、403--423（1983年；Zbl 0547.03015） 全文： 内政部 参考文献： [1] G.Boolos，《一致性的不可证实性》，剑桥大学出版社，1979年·Zbl 0409.03009号 [2] G.Boolos？关于具有可证明性解释的模态逻辑系统？，《理论》46（1980），7-18·兹伯利0473.03010 ·doi:10.1111/j.1755-2567.1980.tb00686.x [3] M.配件？模态逻辑和直觉逻辑的模型存在性定理？，焦耳。符号。逻辑38（1973），613-627·Zbl 0286.02060号 ·doi:10.2307/2271986 [4] K.Hintikka？量化理论中的形式和内容？，《菲尔学报》第8期（1955年），第7-55页。 [5] S.Kripke？模态逻辑的语义分析I？，Zeitschr公司。数学。Logik Grundl公司。数学。9 (1963), 67-96. ·Zbl 0118.01305号 ·doi:10.1002/malq.19630090502 [6] D.Leivant？算术可证性的模态逻辑证明理论？，行程。符号。逻辑46（1981），531-538·Zbl 0464.03019号 ·doi:10.2307/2273755 [7] L.Maximova？模态逻辑中的插值定理和拓扑布尔代数的可合并变种？，阿尔及利亚。i Logika 18（1979），556-586。 [8] L.Maximova？模态逻辑中的插值定理。充分条件？，《逻辑学代数》19（1980），194-213。 [9] W.Rautenberg、Klassische和Nichtklasische Aussagenlogik，威斯巴登，1979年·Zbl 0424.03007号 [10] 桑宾·瓦伦蒂尼？算术片段的模态序列演算？，《逻辑研究》39（1980），245-256·Zbl 0457.03016号 ·doi:10.1007/BF00370323 [11] 桑宾·瓦伦蒂尼？可证明的模态逻辑，顺序方法？，行程。Phil.逻辑，11（1982），311-342·Zbl 0523.03014号 ·doi:10.1007/BF00293433 [12] K.Segerberg，《模态逻辑论文》，乌普萨拉，1971年·兹标0311.02028 [13] C.斯莫利？滑雪？贝丝定理和自相关句子？，1978年阿姆斯特丹第77届逻辑学术讨论会。 [14] R.Solovay？模态逻辑中的可证明性解释？，以色列之旅。数学。25 (1976), 287-304. ·Zbl 0352.02019号 ·doi:10.1007/BF02757006 [15] S.Valentini？可证明性、删减性的模态逻辑？，《哲学逻辑学杂志》第12期（1983年），第471-476页（本期）·Zbl 0535.03031号 ·doi:10.1007/BF00249262 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。