Library

The Finite Model Property of Some Non-normal Modal Logics with the Transitivity Axiom

In 1997 Timothy J. Surendonk proved via algebraic semantics that all modal logics without iterative axioms are canonical and so strongly complete. In this paper, we continue the work done by Surendonk in this field. We use neighborhood semantics to show that some iterative logics (with the axiom $\Box p\rightarrow\Box\Box p$) are also strongly complete and have the finite model property.

Logic, Reasoning, and KnowledgeAdvanced Algebra and LogicLogic, programming, and type systems
View graphSource

Paper

Similar papers

A boolean-algebraic approach to completeness for normal modal predicate logicsWeijun Shi2024 · Logical Investigations In Library
Neighborhood and algebraic models for predicate modal logics with $ω$-rulesYoshihito Tanaka2025 · arXiv (Cornell University) In Library
Axiomatizing logics of finite Gödel-Kripke modelsAmanda Vidal, Ricardo O. Rodriguez2026 · arXiv (Cornell University) In Library
A Characterization of Non-Iterative Normal Modal LogicsAdrian Soncodi2021 · arXiv (Cornell University) In Library
Non-iterative Modal Logics are CoalgebraicJonas Forster, Lutz Schröder2020 · arXiv (Cornell University) In Library
Provability interpretation of non-normal modal logics having neighborhood semanticsKogure, Haruka2025 · arXiv (Cornell University) In Library
Chopping More Finely: Finite Countermodels in Modal Logic via the Subdivision ConstructionTakahashi, Tenyo2025 · arXiv (Cornell University) In Library
Reasoning in Non-normal Modal Description LogicsTiziano Dalmonte, Andrea Mazzullo, Ana Ozaki2022 · arXiv (Cornell University) · 3 citations In Library
Modal logic, fundamentallyWesley H. Holliday2024 · arXiv (Cornell University) In Library
An extension of Jónsson-Tarski representation and model existence in predicate non-normal modal logicsYoshihito Tanaka2021 · arXiv (Cornell University) In Library
© 2026 NYSGPT2525 LLC