Canonical formulas for K4. Part III: the finite model property

DOI10.2307/2275581zbMath0893.03006OpenAlexW2001627578MaRDI QIDQ4372915

Michael Zakharyashchev

Publication date: 20 July 1998

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275581

zbMATH Keywords

modal logicfinite model propertycanonical formulanormal extensions of K4

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (5)

On rules ⋮ Characteristic formulas of partial Heyting algebras ⋮ Finite model property in weakly transitive tense logics ⋮ Decidability of an Xstit logic ⋮ Characteristic Formulas Over Intermediate Logics

Cites Work

• An effective representation for finitely generated free interior algebras
• On maximal intermediate logics with the disjunction property
• A modal analog for Glivenko's theorem and its applications
• Some results on the intermediate logics
• Canonical formulas for K4. Part I: Basic results
• A Sufficient Condition for the Finite Model Property of Modal Logics above K4
• A new proof of Sahlqvist's theorem on modal definability and completeness
• A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
• Canonical formulas for K4. Part II: Cofinal subframe logics
• Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable

This page was built for publication: Canonical formulas for K4. Part III: the finite model property