Canonical formulas for K4. Part I: Basic results
From MaRDI portal
Publication:4032666
DOI10.2307/2275372zbMath0774.03005OpenAlexW2095148612MaRDI QIDQ4032666
Publication date: 1 April 1993
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275372
decidabilitydefinabilityfinite model propertymodal logicscanonical formulastransitive framesquasinormal modal logic containing K4
Related Items (25)
On rules ⋮ Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ Admissible bases via stable canonical rules ⋮ The undecidability of the disjunction property of propositional logics and other related problems ⋮ The structure of lattices of subframe logics ⋮ Characteristic formulas of partial Heyting algebras ⋮ The finite model property in tense logic ⋮ Classification of extensions of the modal logic S4 ⋮ An algebraic approach to canonical formulas: modal case ⋮ Tense Logic Without Tense Operators ⋮ CANONICAL FORMULAS FOR wK4 ⋮ Canonical formulas for K4. Part III: the finite model property ⋮ 1996–1997 Winter Meeting of the Association for Symbolic Logic ⋮ Cofinal stable logics ⋮ Unnamed Item ⋮ The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) ⋮ Frege systems for extensible modal logics ⋮ Frame based formulas for intermediate logics ⋮ STABLE MODAL LOGICS ⋮ Characteristic Formulas Over Intermediate Logics ⋮ A counterexample in tense logic ⋮ AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE ⋮ Canonical rules ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV ⋮ On the Blok-Esakia Theorem
Cites Work
This page was built for publication: Canonical formulas for K4. Part I: Basic results
