伊利亚州夏皮洛夫斯基 Kripke帧和的保真运算。 (英语) Zbl 1418.03101号 Bezhanishvili,Guram(编辑)等人,《模态逻辑的进展》。第12卷。第十二届会议记录(AiML 2018),瑞士伯尔尼,2018年8月27日至31日。伦敦:学院出版物。541-558 (2018). 小结:一个族的和的运算\(\ mathsf{F} _ i\mid-i\text{in}\mathsf{i})由另一帧的元素索引的Kripke帧我提供了一种自然的方法来构造具有良好语义和算法特性的表达性多模态逻辑。在过去的十年里,这个运算有几个重要的应用:L.Beklemishev在多模态可证明逻辑的上下文中使用了它;模态逻辑的两种组合方式S.Babenyshev公司和V.里巴科夫[Log.J.IGPL 18,第6期,823–836(2010年;Zbl 1216.03035号)],以及由P.巴尔比亚尼【Lect.Notes Compute.Sci.5749,165-180(2009年;Zbl 1193.03035号)],可以根据帧的总和来定义。本文提供了一些用于操作Kripke框架和的通用真理保护工具,然后将其应用于研究结果模态逻辑的性质,特别是研究有限模型的性质。有关整个系列,请参见[Zbl 1398.03005号]. 引用于1文件 MSC公司: 03B45号 模态逻辑(包括规范逻辑) 03层45 可证明逻辑和相关代数(例如,可对角化代数) 关键词:模态逻辑的组合;Kripke帧之和;有限模型特性;通用模态;多模可证明逻辑;模态逻辑的精化;模态逻辑的词典学产物 引文:Zbl 1216.03035号;兹比尔1193.03035 PDF格式BibTeX公司 XML格式引用 \textit{I.Shapirovsky},in:模态逻辑的进展。第12卷。第十二届会议记录(AiML 2018),瑞士伯尔尼,2018年8月27日至31日。伦敦:学院出版物。541--558(2018;Zbl 1418.03101)