Switch to: References

Add citations

You must login to add citations.
  1. On non‐compact logics in NEXT(KTB).Zofia Kostrzycka - 2008 - Mathematical Logic Quarterly 54 (6):617-624.
    In this paper we construct a continuum of logics, extensions of the modal logic T2 = KTB ⊕ □2p → □3p, which are non-compact and hence Kripke incomplete.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  • On interpolation and Halldén-completeness in next (ktb).Zofia Kostrzycka - 2012 - Bulletin of the Section of Logic 41 (1/2):23-32.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations