arXiv Analytics

Sign in

arXiv:2407.08465 [math.LO]AbstractReferencesReviewsResources

Finite model property of pretransitive analogues of (w)K4 and GL

Lev Dvorkin

Published 2024-07-11Version 1

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.

Comments: 19 pages
Categories: math.LO
Subjects: 03B45
Related articles: Most relevant | Search more
arXiv:1808.10007 [math.LO] (Published 2018-08-29)
Modal Logic With Non-deterministic Semantics: Part I - Propositional Case
arXiv:1611.04740 [math.LO] (Published 2016-11-15)
A Modal Logic of Supervenience
arXiv:2401.00457 [math.LO] (Published 2023-12-31)
Filtrations for $\mathbb{wK4}$ and its relatives

Links

Toolbox