Finite Model Property in Normal Extensions of Euclidean Quasi-Boolean Modal Logics
摘要
In this paper, we show that every normal extension of Euclidean quasi-Boolean modal logic has the finite model property. Invariance results regarding disjoint union, generated submodel, and p-morphism are established. Our results generalize and essentially echo the well-known similar result of normal extensions of classical Euclidean modal logic \(\textsf{K5}\) (cf. [17]).