Neighbourhood Canonicity for Ek, Eck, and Relatives: A Constructive Proof

Frederik Van de Putte, Paul McNamara

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)

Abstract

We prove neighbourhood canonicity and strong completeness for the logics EK and ECK, obtained by adding axiom (K), resp. adding both (K) and (C), to the minimal modal logic E. In contrast to an earlier proof in [10], ours is constructive. More precisely, we construct minimal characteristic models for both logics and do not rely on compactness of first order logic. The proof involves a specific circumscription technique and quite some set-theoretic maneuvers to establish that the models satisfy the appropriate frame conditions. After giving both proofs, we briefly spell out how they generalize to four stronger logics and to the extensions of the resulting six logics with a global modality.
Original languageEnglish
Pages (from-to)607-623
Number of pages17
JournalReview of Symbolic Logic
Volume15
Issue number3
Early online dateJul 2021
DOIs
Publication statusPublished - Sep 2022

Fingerprint

Dive into the research topics of 'Neighbourhood Canonicity for Ek, Eck, and Relatives: A Constructive Proof'. Together they form a unique fingerprint.

Cite this