On Strong Neighbourhood Completeness of Modal and Intermediate Propositional Logics (Part~I)
On Strong Neighbourhood Completeness of Modal and Intermediate Propositional Logics (Part~I)
复制标题
论模态命题逻辑和中间命题逻辑的强邻域完备性（上）
DOI：
--
复制
发表时间：
1996
期刊：
影响因子：
--
通讯作者：
V. Shehtman
中科院分区：
文献类型：
--
作者：
V. Shehtman
本文第一部分介绍了强邻域完备性的性质。通过修改 ultrabouqet 结构，我们证明了所有 Kripke 完全正常 K4 逻辑和一大类 Kripke 完全多模态逻辑（称为“非循环”）的这一性质。另一方面，我们提出了具有 f.m.p 的多模态逻辑的简单反例。这不是强邻域完备的。
The property of strong neighbourhood completeness was introduced in the first part of this paper. By modifying the ultrabouqet construction, we prove this property for all Kripke-complete normal K4-logics and for a large class of Kripke-complete polymodal logics (called ‘acyclic). On the other hand, we present a simple counterexample of a polymodal logic with the f.m.p. which is not strongly neighbourhood complete.