Generalizes Fine's selection method to the weakly transitive setting, giving a frame-theoretic proof of finite model property for strongly cofinal subframe logics extending wK4 and extending the finite width theorem.
Logics Containing K4. Part I
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
verdicts
UNVERDICTED 2representative citing papers
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.
citing papers explorer
-
Logics Containing wK4: Selection \`a la Fine
Generalizes Fine's selection method to the weakly transitive setting, giving a frame-theoretic proof of finite model property for strongly cofinal subframe logics extending wK4 and extending the finite width theorem.
-
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.