Switch to: Citations

Add references

You must login to add references.
  1. An incomplete logic containing S.Kit Fine - 1974 - Theoria 40 (1):23-29.
    Download  
     
    Export citation  
     
    Bookmark   66 citations  
  • The inadequacy of the neighbourhood semantics for modal logic.Martin Gerson - 1975 - Journal of Symbolic Logic 40 (2):141-148.
    We present two finitely axiomatized modal propositional logics, one betweenTandS4 and the other an extension ofS4, which are incomplete with respect to the neighbourhood or Scott-Montague semantics.Throughout this paper we are referring to logics which contain all the classical connectives and only one modal connective □ (unary), no propositional constants, all classical tautologies, and which are closed under the rules of modus ponens (MP), substitution, and the rule RE (fromA↔Binfer αA↔ □B). Such logics are calledclassicalby Segerberg [6]. Classical logics which (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • An incompleteness theorem in modal logic.S. K. Thomason - 1974 - Theoria 40 (1):30-34.
    Download  
     
    Export citation  
     
    Bookmark   60 citations  
  • (2 other versions)Review: B. J. Copeland, On When a Semantics is not a Semantics: Some Reasons for Disliking the Routley-Meyer Semantics for Relevance Logic. [REVIEW]Johan van Benthem - 1984 - Journal of Symbolic Logic 49 (3):994-995.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • An ascending chain of S4 logics.Kit Fine - 1974 - Theoria 40 (2):110-116.
    Download  
     
    Export citation  
     
    Bookmark   57 citations  
  • (1 other version)W. J. Blok. The lattice of modal logics: an algebraic investigation. The journal of symbolic logic, vol. 45 , pp. 221–236. - W. J. Blok. Pretahular varieties of modal algebras. Studio logica, vol. 39 , pp. 101–124.Johan van Benthem - 1984 - Journal of Symbolic Logic 49 (4):1419-1420.
    Download  
     
    Export citation  
     
    Bookmark   7 citations