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.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
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.