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

DOI10.1017/S1755020321000319OpenAlexW3193889989MaRDI QIDQ5099779

No author found.

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)

Related Items (1)

The logic of secrets and the interpolation rule

Cites Work

• Unnamed Item
• Unnamed Item
• Intensional logics without iterative axioms
• Canonicity for intensional logics without iterative axioms
• Modal logics in the vicinity of S1
• Neighborhood semantics for modal logic
• Canonicity for Intensional Logics with Even Axioms
• Using the Universal Modality: Gains and Questions

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