拉里萨·马克西莫娃 正规模态逻辑中的合并和插值。 （英语） Zbl 0754.03013号 螺柱日志。 50，编号3-4，457-471（1991）. 本文综述了命题正规模态逻辑中关于插值的结果。这些逻辑的插值性质与各种模态代数的合并性质密切相关。因此，插值结果也根据合并进行了重新表述。审核人：S.Miura（冈崎/爱知） 引用于1审查引用于19文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 03G25号 与逻辑相关的其他代数 08B99号 品种 03C40 插值、保存、可定义性 关键词：调查;插值;命题正规模态逻辑;合并;模态代数的变种 PDF格式BibTeX公司 XML格式引用 \textit{L.Maksimova}，研究日志。50，编号3--4，457--471（1991；Zbl 0754.03013） 全文： 内政部 参考文献： [1] P.D.Bacsich，方程理论的合并性质和插值定理，《代数普遍性》5，1（1975），第44-55页·Zbl 0324.02036号 ·doi:10.1007/BF02485230 [2] W.J.Blok，模态代数的前Abular变种，Studia Logica 30，2/3（1980），第101-124页·Zbl 0457.03018号 ·doi:10.1007/BF00370315 [3] G.Boolos，《关于具有可证明性解释的模态逻辑系统》，《理论》45，1（1980），第7-18页·Zbl 0473.03010号 [4] J.Czelakowski，《逻辑矩阵与合并属性》，Studia Logica 41，4（1982），第329-341页·兹伯利0549.03014 ·doi:10.1007/BF00403332 [5] K.Fine，《量化模态逻辑中插值引理的失败》，《符号逻辑杂志》44，2（1979），第201-206页·Zbl 0415.03015号 ·doi:10.2307/2273727 [6] D.Gabbay，克雷格模态逻辑插值定理，《数学逻辑会议？伦敦'70（1972），第111-127页，柏林斯普林格。 [7] R.Goldblatt，《算术必然性、可证明性和直觉逻辑》，Theoria 44（1978），第38-46页·Zbl 0409.03011号 ·doi:10.1111/j.1755-2567.1978.tb00831.x [8] S.Kripke，模态逻辑的语义分析I.正规模态命题计算，Zeitschrift f？r mathematische Logik und Grundlagen der Mathematik 9（1963），第67-96页·兹比尔0118.01305 ·doi:10.1002/malq.19630090502 [9] A.V.Kuznetsov和A.Y.Muravitski，作为形式的Provability，（俄语），收录于Aktualnye problemy logiki i metodologii nauki（1980），第193-229页，Naukova dumka，Kyev·Zbl 0535.03008号 [10] E.Lemmon，模态逻辑的代数语义。一、 《符号逻辑杂志》31（1966），第46-65页。二、 《符号逻辑杂志》，31（1966），第191-218页·Zbl 0147.24805号 ·doi:10.2307/2270619 [11] D.Makinson，关于模态逻辑中的一些完备性定理，Zeitschrift f？r mathematische Logik und Grundlagen der Mathematik 12（1966），第379-384页·Zbl 0295.0204号 ·doi:10.1002/malq.19660120131 [12] L.L.Maksimova，《关于模态逻辑的分类》（俄语），《逻辑代数》18，3（1979），第328-340页。 [13] L.L.Maksimova，模态逻辑中的插值定理和拓扑布尔代数的合并变种，（俄语），代数i logika 18，5（1979），pp.556-586·Zbl 0436.03011号 [14] L.L.Maksimova，模态逻辑中的插值定理。《充分条件》（俄语），《逻辑代数》19，2（1980），第194-213页·Zbl 0457.03021号 [15] L.L.Maksimova，Dummett逻辑的模态对应物中插值特性的失效，（俄语），《逻辑代数》21，6（1982），第690-694页。 [16] L.L.Maksimova，模态逻辑中的Lyndon插值定理，载于Matematicheskaya logika i teoria algoritmov（1982），第84-87页，新西伯利亚诺卡（西伯利亚分部）。 [17] L.L.Maksimova，超直觉、正逻辑和模态逻辑的插值性质，收录于《内涵逻辑：理论与应用》（V.35，1982），第70-78页，《费尼卡哲学学报》，赫尔辛基·Zbl 0521.03014号 [18] L.L.Maksimova，《关于包含S4的模态逻辑的插值》，第七届国际逻辑、方法论和科学哲学大会，萨尔茨堡，1983年，摘要1，第84-87页。 [19] L.L.Maksimova，《关于拓扑布尔代数的合并变种的数量》，（俄语），17 Vsesoyuznaya algebraicheskaya konferencya，tezytsy，第2部分，明斯克，1983年，第135-136页。 [20] L.L.Maksimova，《关于正规模态逻辑中的插值》（俄语），收录于Neklassicheskie logiki（1987），第40-56页，Stinina，Kishinev·兹伯利0643.03012 [21] L.L.Maksimova，包含K4的无限切片模态逻辑内插，（俄语），收录于Matematicheskaya logika i algorithmicheskie problemy（1989），新西伯利亚诺卡（西伯利亚分部）·Zbl 0713.03006号 [22] L.L.Maksimova，可证明逻辑无限片扩展中的插值，（俄语），《逻辑代数》27，5（1988），第581-604页·Zbl 0681.03006号 [23] V.Y.Meschi，《时态逻辑模态片断的代数分析》（俄语），收录于《逻辑学》、《语义分析》、《转喻学》（1978），第113-124页，《Metsniereba》，第比利斯。 [24] D.Pigozzi，代数中的合并、同余扩张和插值性质，代数普遍性1/3（1972），第269-349页·兹比尔0236.02047 [25] W.Rautenberg，《模态表计算与插值》，《哲学逻辑杂志》第12期（1983年），第403-423页·Zbl 0547.03015号 ·doi:10.1007/BF00249258 [26] G.Schumm，《S5和相关系统中的插值》，《数理逻辑报告6》（1976年），第107-110页·兹比尔0361.02030 [27] K.Segerberg，《经典模态逻辑论文》（1971），乌普萨拉·Zbl 0311.02028号 [28] C.斯莫林斯基（C.Smorynski），贝斯定理和自相关句子，收录于《77年逻辑学术讨论会》（第253-261页），阿姆斯特丹北荷兰德·Zbl 0453.03018号 [29] S.K.Thomason，《模态逻辑框架的分类》，《符号逻辑杂志》40，3（1975），第439-442页·Zbl 0317.02012号 ·doi:10.2307/2272167 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。