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  
  • (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  
  • 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  
  • The extensions of BAlt.David Ullrich & Michael Byrd - 1977 - Journal of Philosophical Logic 6 (1):109 - 117.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • The extensions of BAlt3 — revisited.Michael Byrd - 1978 - Journal of Philosophical Logic 7 (1):407 - 413.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • That All Normal Extensions of S4.3 Have the Finite Model Property.R. A. Bull - 1966 - Mathematical Logic Quarterly 12 (1):341-344.
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  • The Logics Containing S 4.3.Kit Fine - 1971 - Mathematical Logic Quarterly 17 (1):371-376.
    Download  
     
    Export citation  
     
    Bookmark   35 citations