A Sufficient Condition for the Finite Model Property of Modal Logics above K4

DOI10.1093/jigpal/1.1.13zbMath0799.03010OpenAlexW2076298571MaRDI QIDQ4291869

Michael Zakharyashchev

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

zbMATH Keywords

modal logicfinite model propertyintermediate logiccanonical formulas

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

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