Canonicity for Intensional Logics with Even Axioms

DOI10.2307/2695098zbMath1049.03021OpenAlexW2102262170WikidataQ114588309 ScholiaQ114588309MaRDI QIDQ2758075

Timothy J. Surendonk

Publication date: 2001

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

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

zbMATH Keywords

intensional logicMcKinsey logicneighborhood canonicity

Mathematics Subject Classification ID

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

Related Items (2)

NEIGHBOURHOOD CANONICITY FOR EK, ECK, AND RELATIVES: A CONSTRUCTIVE PROOF ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS

Cites Work

• Unnamed Item
• Canonicity for intensional logics without iterative axioms
• Duality between modal algebras and neighbourhood frames
• Normal forms in modal logic
• The McKinsey axiom is not canonical

This page was built for publication: Canonicity for Intensional Logics with Even Axioms