The McKinsey axiom is not canonical

DOI10.2307/2274699zbMath0744.03019OpenAlexW2109023621WikidataQ114589025 ScholiaQ114589025MaRDI QIDQ3984429

Robert Goldblatt

Publication date: 27 June 1992

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

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

zbMATH Keywords

Kripke framescanonical framenormal modal logicKMMcKinsey axiom

Mathematics Subject Classification ID

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

Related Items (10)

On the canonicity of Sahlqvist identities ⋮ Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras ⋮ Constructive canonicity in non-classical logics ⋮ Canonicity for intensional logics without iterative axioms ⋮ Topological duality and algebraic completions ⋮ Mathematical modal logic: A view of its evolution ⋮ Binary subtrees with few labeled paths ⋮ Canonicity for Intensional Logics with Even Axioms ⋮ Bounded lattice expansions ⋮ REFLEXIVE-INSENSITIVE MODAL LOGICS

Cites Work

• Some kinds of modal completeness
• Normal forms in modal logic
• Solution to a completeness problem of Lemmon and Scott
• A new proof of Sahlqvist's theorem on modal definability and completeness
• An incomplete logic containing S4
• An incompleteness theorem in modal logic
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

This page was built for publication: The McKinsey axiom is not canonical