Canonicity for intensional logics without iterative axioms

DOI10.1023/A:1004201429142zbMath0886.03012OpenAlexW2011006610WikidataQ114652423 ScholiaQ114652423MaRDI QIDQ1368753

Timothy J. Surendonk

Publication date: 29 September 1997

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

Full work available at URL: https://doi.org/10.1023/a:1004201429142

zbMATH Keywords

modal logicintensional logiccanonicityneighbourhood semanticsnon-iterative axioms

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25)

Related Items (6)

Modal logics in the vicinity of S1 ⋮ NEIGHBOURHOOD CANONICITY FOR EK, ECK, AND RELATIVES: A CONSTRUCTIVE PROOF ⋮ The logic of secrets and the interpolation rule ⋮ Canonicity for Intensional Logics with Even Axioms ⋮ Modal logics that need very large frames ⋮ On the axiomatisation of Elgesem's logic of agency and ability

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intensional logics without iterative axioms
• An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics
• Duality between modal algebras and neighbourhood frames
• Modal logics in the vicinity of S1
• Determiners and logic
• The McKinsey axiom is not canonical
• The McKinsey axiom is not compact
• The inadequacy of the neighbourhood semantics for modal logic
• A Neighbourhood Frame for T with No Equivalent Relational Frame
• A normal logic that is complete for neighborhood frames but not for Kripke frames

This page was built for publication: Canonicity for intensional logics without iterative axioms