Switch to: References

Add citations

You must login to add citations.
  1. Meeting of the association for symbolic logic: Chicago, 1985.Andreas Blass, Louise Hay & Peter G. Hinman - 1986 - Journal of Symbolic Logic 51 (2):507-510.
    Download  
     
    Export citation  
     
    Bookmark  
  • Meeting of the Association for Symbolic Logic, Chicago, 1985.Andreas Blass, Louise Hay & Peter G. Hinman - 1986 - Journal of Symbolic Logic 51 (2):507-510.
    Download  
     
    Export citation  
     
    Bookmark  
  • Why does Halldén-completeness matter?George F. Schumm - 1993 - Theoria 59 (1-3):192-206.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Prefinitely axiomatizable modal and intermediate logics.Marcus Kracht - 1993 - Mathematical Logic Quarterly 39 (1):301-322.
    A logic Λ bounds a property P if all proper extensions of Λ have P while Λ itself does not. We construct logics bounding finite axiomatizability and logics bounding finite model property in the lattice of intermediate logics and in the lattice of normal extensions of K4.3. MSC: 03B45, 03B55.
    Download  
     
    Export citation  
     
    Bookmark   9 citations