Switch to: Citations

Add references

You must login to add references.
  1. 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  
  • 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  
  • (1 other version)Noncompactness in propositional modal logic.S. K. Thomason - 1972 - Journal of Symbolic Logic 37 (4):716-720.
    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  
  • 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   5 citations