Switch to: Citations

Add references

You must login to add references.
  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.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • On the existence of a continuum of logics in NEXT (KTB⊕ 22p→ 23p).Zofia Kostrzycka - 2007 - Bulletin of the Section of Logic 36 (1/2):37-43.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Kripke Incomplete Logics Containing KTB.Yutaka Miyazaki - 2007 - Studia Logica 85 (3):303-317.
    It is shown that there is a Kripke incomplete logic in NExt(KTB ⊕ □2 p → □3 p). Furthermore, it is also shown that there exists a continuum of Kripke incomplete logics in NExt(KTB ⊕ □5 p → □6 p).
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • On formulas in one variable in NEXT (KTB).Zofia Kostrzycka - 2006 - Bulletin of the Section of Logic 35 (2/3):119-131.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (1 other version)Normal Modal Logics Contianing KTB with some Finiteness Conditions.Yutaka Miyazaki - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 171-190.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Some failures of interpolation in modal logic.George F. Schumm - 1986 - Notre Dame Journal of Formal Logic 27 (1):108-110.
    Download  
     
    Export citation  
     
    Bookmark   6 citations