The Subdivision Construction produces finite modal algebras as countermodels for stable canonical rules of finite height, establishing the finite model property for broad classes of modal logics and rule systems.
On Decidable, Finitely Axiomatizable, Modal and Tense Logics without the Finite Model Property Part I
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2025 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Chopping More Finely: Finite Countermodels in Modal Logic via the Subdivision Construction
The Subdivision Construction produces finite modal algebras as countermodels for stable canonical rules of finite height, establishing the finite model property for broad classes of modal logics and rule systems.