On non‐compact logics in NEXT(KTB)
Zofia Kostrzycka · Mathematical logic quarterly · 2008
Abstract In this paper we construct a continuum of logics, extensions of the modal logic T2 = KTB ⊕ □2p → □3p, which are non‐compact (relative to Kripke frames) and hence Kripke incomplete. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)