This paper investigates the sequential logics for modal Ockham algebras, which are Ockham algebras with normal modal operators \(\Box ,\Diamond \) satisfying interaction axioms. Relational semantics are established for this logic, and discrete duality is shown using star semantics. We then obtain the Kripke-completeness for this logic and some common modal extensions by the canonical model method. Furthermore, we extend existing results, which are based on modal Ockham algebra, to each modal Berman variety.

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

From Modal Ockham Algebras to Modal Berman Variety: Relational Semantics and Kripke-Completeness

  • Yiheng Wang

摘要

This paper investigates the sequential logics for modal Ockham algebras, which are Ockham algebras with normal modal operators \(\Box ,\Diamond \) satisfying interaction axioms. Relational semantics are established for this logic, and discrete duality is shown using star semantics. We then obtain the Kripke-completeness for this logic and some common modal extensions by the canonical model method. Furthermore, we extend existing results, which are based on modal Ockham algebra, to each modal Berman variety.