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

2023/05/15 by Kirill Kopnev, Kopnev, Kirill · 1 citation
Computer Science · #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic #Logic, programming, and type systems

paper · pdf · doi:10.48550/arxiv.2305.08605

Abstract

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→\Box\Box p) are also strongly complete and have the finite model property.

Cited by

• Provability interpretation of non-normal modal logics having neighborhood semantics

Related

• Neighborhood and algebraic models for predicate modal logics with ω-rules
• Non-iterative Modal Logics are Coalgebraic
• Provability interpretation of non-normal modal logics having neighborhood semantics
• Completeness theorems for modal logic in second-order arithmetic
• Neighbourhood completeness for quantified pretransitive modal logics