On non-compact logics in NEXT(KTB)

摘要

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.