Canonicity for intensional logics without iterative axioms
From MaRDI portal
Publication:1368753
DOI10.1023/A:1004201429142zbMath0886.03012WikidataQ114652423 ScholiaQ114652423MaRDI QIDQ1368753
Publication date: 29 September 1997
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Related Items
Modal logics that need very large frames, On the axiomatisation of Elgesem's logic of agency and ability, Modal logics in the vicinity of S1, Canonicity for Intensional Logics with Even Axioms
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