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

DOI10.1017/S1755020321000319OpenAlexW3193889989MaRDI QIDQ5099779FDOQ5099779

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

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 Keywords

classical modal logicneighbourhood semanticscanonical completenessaxiom Kchellas

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Modal logic
• Intensional logics without iterative axioms
• Using the Universal Modality: Gains and Questions
• Modal logics in the vicinity of S1
• Title not available (Why is that?)
• Neighborhood semantics for modal logic
• Canonicity for intensional logics without iterative axioms
• Canonicity for intensional logics with even axioms

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)