马克西莫娃，L.L。 模态逻辑中的插值定理。充足的条件。 （英语。俄文原件） Zbl 0469.03011号 代数逻辑 19, 120-132 (1981); 《代数逻辑》19，194-213（1980）的译文。 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2个 +3个 +4 +5 显示扫描页面 引用于10文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 关键词：正规模态逻辑;拓扑布尔代数;合并财产;克里普克框架 引文：兹伯利0436.03011 PDF格式BibTeX公司 XML格式引用 \textit{L.L.Maksimova}，代数逻辑19，120--132（1981；Zbl 0469.03011）；代数逻辑学翻译19，194--213（1980） 全文： 内政部 欧洲DML 参考文献： [1] L.L.Maksimova，“模态逻辑中的插值定理和拓扑布尔代数的可合并变种”，《代数逻辑》，第18期，第5期，556–586页（1979年）·Zbl 0436.03011号 [2] L.L.Maksimova，“关于模态逻辑的分类”，《代数逻辑》，第18卷，第3期，328-340页（1979年）。 [3] L.L.Maksimova，“克雷格插值定理和可合并变量”，Dokl。阿卡德。Nauk SSSR，237，第6期，1281–2184（1977）·Zbl 0393.03013号 [4] L.L.Maksimova，“超直觉逻辑中的Criag定理和伪布尔代数的可合并变种”，《代数逻辑》，第16期，第6期，643–681页（1977年）·兹比尔0403.03047 [5] L.L.Maksimova，“有限多层模态逻辑”，《代数逻辑》，第14期，第3期，304–319页（1975年）。 [6] L.L.Maksimova，“Lewis逻辑S4的前矩阵扩张”，《代数逻辑》，第14卷，第1期，第28–55页（1975年）。 [7] L.L.Maksimova和V.V.Rybakov，“关于正规模态逻辑的格”，《代数逻辑》，第13期，第2期，188-216页（1974年）。 [8] E.Rasöva和R.Sikorskii，《元数学的数学（俄语）》，瑙卡（1972）。 [9] W.Craig，“Herbrand–Gentzen定理在关联模型理论和证明理论中的三种用途”，J.Symb。《逻辑》，22，269–285（1957）·兹伯利0079.24502 ·doi:10.2307/2963594 [10] J.Czermak，“一些模态逻辑的插值定理”，《逻辑协作》，第73期。，布里斯托尔，1973（1975），第381-393页。 [11] L.Esakia和R.Grigolia，“圣诞树。关于一些闭包代数变种中的自由循环代数，“Bull。第节。《逻辑》，第4卷，第3期，95–102页（1975年）。 [12] D.Gabbay，模态逻辑的Craig定理，Lect。笔记。数学。，第255卷，Springer-Verlag，纽约（1972年）·Zbl 0248.02025号 [13] G.F.Schumm，“S5和相关系统中的插值”，《数学报告》。逻辑，6107-110（1976）·Zbl 0361.02030号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。