Finite model property of pretransitive analogues of (w)K4 and GL
Lev Dvorkin
TL;DR
This paper proves the finite model property for pretransitive extensions of certain modal logics, including K4 and GL, broadening understanding of their model-theoretic characteristics.
Contribution
It establishes the finite model property for pretransitive variants of K4, wK4, GL, and their extensions with canonical subframe-hereditary formulas, a novel generalization.
Findings
Finite model property proven for pretransitive K4, wK4, GL variants.
Extension results for canonical subframe-hereditary formulas.
Broader class of modal logics with finite model property.
Abstract
A normal 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, GL, and their extensions by canonical subframe-hereditary formulas.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFinite Group Theory Research