The McKinsey axiom is not canonical
From MaRDI portal
Publication:3984429
DOI10.2307/2274699zbMath0744.03019OpenAlexW2109023621WikidataQ114589025 ScholiaQ114589025MaRDI QIDQ3984429
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
Related Items
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
