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]).

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Finite Model Property in Normal Extensions of Euclidean Quasi-Boolean Modal Logics

  • Yiheng Wang,
  • Yu Peng

摘要

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]).