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.
Union-splittings, the Axiomatization Problem, and the Rule Di- chotomy Property in Modal Logic
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.