Kikot'，S.P。 具有可分辨对角线的模态逻辑方格的公理化。 （英语。俄文原件） Zbl 1248.03035号 数学。笔记 88，第2期，238-250（2010年）; 翻译自Mat.Zametki 88，No.2，261-274（2010）。 小结：研究了具有不同对角线的平方Kripke框架的模态逻辑。结果表明，与普通二维积不同，许多这样的逻辑不能用有限多变量的公式公理化。该方法类似于用于获得模态逻辑（geq 3）维乘积的类似结果的方法。该证明尤其使用了广义的萨赫奎斯特公式。 引用于6文件 理学硕士： 03B45 模态逻辑（包括规范逻辑） 关键词：克里普克框架的正方形;模态逻辑的平方;公理化;模态逻辑的乘积;广义萨尔奎斯特公式 PDF格式BibTeX公司 XML格式引用 \textit{S.P.Kikot'}，数学。附注88，第2号，238--250（2010；Zbl 1248.03035）；翻译自Mat.Zametki 88，No.2，261--274（2010） 全文： 内政部 参考文献： [1] D.M.Gabbay、A.Kurucz、F.Wolter和M.Zakharyaschev，《多维模态逻辑：理论与应用》，《逻辑与数学基础研究》（北荷兰，阿姆斯特丹，2003年），第148卷·Zbl 1051.03001号 [2] V.B.Shekhtman，“二维模态逻辑”，Mat.Zametki 23（5），759–772（1978）。 [3] R.Hirsch和I.Hodkinson，《游戏中的关系代数》，《逻辑和数学基础研究》（北霍兰德，阿姆斯特丹，2002年），第147卷·Zbl 1018.03002号 [4] M.Marx和Y.Venema，多维模态逻辑，应用。日志。序列号。（Kluwer Acad.Publ.，Dordrecht，1997），第4卷·兹比尔0942.03029 [5] Y.Venema，“圆柱模态逻辑”，《符号逻辑杂志》60（2），591-623（1995）·Zbl 0830.03008号 ·doi:10.2307/2275853 [6] L.Henkin、J.D.Monk和A.Tarski，《柱面代数》，第一部分，《逻辑和数学基础研究》（北霍兰德，阿姆斯特丹，1971年），第64卷·Zbl 0576.03043号 [7] I.Venema，《多维模态逻辑》，博士论文（阿姆斯特丹，1991年）·Zbl 0744.03022号 [8] A.Kurucz，“关于Kripke框架的公理化产物，II”，《模态逻辑进展》（学院出版物，伦敦，2008），第7卷，第219-230页；http://www.aiml.net/volumes/volume7/Kurucz.pdf。 ·Zbl 1221.03021号 [9] P.Blackburn、M.de Rijke和Y.Venema，模态逻辑，收录于《剑桥理论计算机科学丛书》（剑桥大学出版社，剑桥，2001年），第53卷·Zbl 0988.03006号 [10] A.Kurucz，“对角线常数缺乏有限模型特性的模态逻辑产品”，载于《组合系统的前沿》，载于计算机讲稿。科学。（Springer-Verlag，柏林，2009），第5749卷，第279-286页·Zbl 1193.03041号 [11] K.Segerberg，“二维模态逻辑”，J.Philos。逻辑2（1），77–96（1973）·Zbl 0259.02013 ·doi:10.1007/BF02115610 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。