Switch to: References

Add citations

You must login to add citations.
  1. Syntactic features and synonymy relations: A unified treatment of some proofs of the compactness and interpolation theorems.George E. Weaver - 1994 - Studia Logica 53 (2):325 - 342.
    This paper introduces the notion of syntactic feature to provide a unified treatment of earlier model theoretic proofs of both the compactness and interpolation theorems for a variety of two valued logics including sentential logic, first order logic, and a family of modal sentential logic includingM,B,S 4 andS 5. The compactness papers focused on providing a proof of the consequence formulation which exhibited the appropriate finite subset. A unified presentation of these proofs is given by isolating their essential feature and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics.George Weaver & Jeffrey Welaish - 1986 - Journal of Symbolic Logic 51 (4):969-980.
    Download  
     
    Export citation  
     
    Bookmark   5 citations