NEIGHBOURHOOD CANONICITY FOR EK, ECK, AND RELATIVES: A CONSTRUCTIVE PROOF

DOI10.1017/S1755020321000319MaRDI QIDQ5099779zbMATH OpenOpenAlexFDO

Authors

Publication date 26 August 2022

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1755020321000319

zbMATH Keywords

classical modal logicneighbourhood semanticscanonical completenessaxiom Kchellas

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Canonicity for intensional logics with even axioms
• On neighbourhood semantics thirty years later
• Constructive canonicity in non-classical logics
• scientific article; zbMATH DE number 1215471
• scientific article; zbMATH DE number 3845547

Cites work

• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• Canonicity for intensional logics with even axioms
• Canonicity for intensional logics without iterative axioms
• Intensional logics without iterative axioms
• Modal logic
• Modal logics in the vicinity of S1
• Neighborhood semantics for modal logic
• Using the Universal Modality: Gains and Questions

Cited in

(1)

• The logic of secrets and the interpolation rule

This page was built for publication: NEIGHBOURHOOD CANONICITY FOR EK, ECK, AND RELATIVES: A CONSTRUCTIVE PROOF

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5099779)