Answers are grounded in this paper and cite their sources.
A modal logic is pretransitive, if the modality corresponding to the transitive closure of an accessibility relation is expressible in it. In the present work we establish the finite model property for pretransitive generalizations of K4, wK4, and GL and their extensions by canonical subframe-hereditary formulas.
No takes yet. Share an insight, caveat, or question.
Lev Dvorkin (2024) studied this question.
Synapse has enriched 8 closely related papers on similar clinical questions. Consider them for comparative context: