A Sufficient Condition for the Finite Model Property of Modal Logics above K4
From MaRDI portal
Publication:4291869
DOI10.1093/jigpal/1.1.13zbMath0799.03010OpenAlexW2076298571MaRDI QIDQ4291869
Publication date: 24 November 1994
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/1.1.13
Related Items
POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION ⋮ The finite model property for logics with the tangle modality ⋮ Canonical formulas for K4. Part III: the finite model property ⋮ Spatial logic of tangled closure operators and modal mu-calculus