Switch to: Citations

Add references

You must login to add references.
  1. An ascending chain of S4 logics.Kit Fine - 1974 - Theoria 40 (2):110-116.
    Download  
     
    Export citation  
     
    Bookmark   57 citations  
  • An incomplete logic containing S.Kit Fine - 1974 - Theoria 40 (1):23-29.
    Download  
     
    Export citation  
     
    Bookmark   66 citations  
  • Modal tableau calculi and interpolation.Wolfgang Rautenberg - 1983 - Journal of Philosophical Logic 12 (4):403 - 423.
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  • An almost general splitting theorem for modal logic.Marcus Kracht - 1990 - Studia Logica 49 (4):455 - 470.
    Given a normal (multi-)modal logic a characterization is given of the finitely presentable algebras A whose logics L A split the lattice of normal extensions of . This is a substantial generalization of Rautenberg [10] and [11] in which is assumed to be weakly transitive and A to be finite. We also obtain as a direct consequence a result by Blok [2] that for all cycle-free and finite A L A splits the lattice of normal extensions of K. Although we (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Splitting lattices of logics.Wolfgang Rautenberg - 1980 - Archive for Mathematical Logic 20 (3-4):155-159.
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • Handbook of Philosophical Logic.[author unknown] - 1983 - .
    Download  
     
    Export citation  
     
    Bookmark   70 citations