Demonstrates connection of two theorems in weakly transitive logics, implying a new proof method.
We generalize Fine's Iterative Selection Method to the weakly transitive setting.In particular, this provides a transparent frame-theoretic proof of the finite model property for (strongly) cofinal subframe logics extending wK4, which was previously established using algebraic methods.Using the same construction, we generalize Fine's Finite Width Theorem to the weakly transitive setting, connecting these two celebrated theorems of Fine.
No takes yet. Share an insight, caveat, or question.
Santschi et al. (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: