Canonical formulas for K4. Part I: Basic results

DOI10.2307/2275372MaRDI QIDQ4032666zbMATH OpenOpenAlexFDO

Authors Michael Zakharyaschev

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

zbMATH Keywords

canonical formulasdecidabilitydefinabilityfinite model propertymodal logicsquasinormal modal logic containing K4transitive frames

Mathematics Subject Classification ID

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

Recommendations

• Canonical formulas \(\mathbf{wK4}\)
• Canonical formulas for K4. Part III: the finite model property
• On canonical hypersurfaces of \(\mathbb{P}^4\)
• A canonical topological model for extensions of K4
• The relative canonical algebra for genus 4 fibrations
• On the Kohnen-Zagier formula in the case of level \(4p^m\)
• On canonical bases of a formal 𝕂-algebra
• A generalization of the Artin-Tate formula for fourfolds
• scientific article; zbMATH DE number 1808188

Cites work

• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
• Four dialogue systems
• Logics containing K4. Part II
• Modal Logics Between S 4 and S 5
• The decidability of certain intermediate propositional logics

Cited in

(39)

• Frame based formulas for intermediate logics
• Notes on modal definability
• Minimal p-morphic images, axiomatizations and coverings in the modal logic K4
• The structure of lattices of subframe logics
• The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
• A counterexample in tense logic
• Basic logic, K4, and persistence
• Characteristic formulas of partial Heyting algebras
• Classification of extensions of the modal logic S4
• Finite models constructed from canonical formulas
• Frege systems for extensible modal logics
• Every world can see a reflexive world
• On rules
• Admissible bases via stable canonical rules
• AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
• Canonical rules
• The undecidability of the disjunction property of propositional logics and other related problems
• Canonical formulas for K4. Part III: the finite model property
• 1996–1997 Winter Meeting of the Association for Symbolic Logic
• Grzegorczyk algebras revisited
• The finite model property in tense logic
• Tense Logic Without Tense Operators
• Canonical formulas for K4. Part II: Cofinal subframe logics
• Canonical formulas \(\mathbf{wK4}\)
• Stable modal logics
• DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
• Cofinal stable logics
• The logic of transitive and dense frames: from the step-frame analysis to full cut-elimination
• Characteristic formulas over intermediate logics
• On the Blok-Esakia theorem
• Simplified Kripke style semantics for modal logics K45, KB4 and KD45
• Transitivity of finite models constructed from normal forms for a modal logic containing K4
• Jankov Formulas and Axiomatization Techniques for Intermediate Logics
• An algebraic approach to canonical formulas: modal case
• Modern faces of filtration
• Decidability of quasi-dense modal logics
• Intuitionistic Sahlqvist theory for deductive systems
• Stable canonical rules for intuitionistic modal logics
• Stable canonical rules and formulas for pre-transitive logics via definable filtration

This page was built for publication: Canonical formulas for K4. Part I: Basic results

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4032666)