Author:
VAN DE PUTTE FREDERIK,MCNAMARA PAUL
Abstract
Abstract
We prove neighbourhood canonicity and strong completeness for the logics
$\mathbf {EK}$
and
$\mathbf {ECK}$
, obtained by adding axiom (K), resp. adding both (K) and (C), to the minimal modal logic
$\textbf {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.
Publisher
Cambridge University Press (CUP)
Subject
Logic,Philosophy,Mathematics (miscellaneous)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The logic of secrets and the interpolation rule;Annals of Mathematics and Artificial Intelligence;2022-10-10