Switch to: Citations

Add references

You must login to add references.
  1. An incompleteness theorem in modal logic.S. K. Thomason - 1974 - Theoria 40 (1):30-34.
    Download  
     
    Export citation  
     
    Bookmark   60 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  
  • (1 other version)A Neighbourhood Frame for T with No Equivalent Relational Frame.Martin Gerson - 1976 - Mathematical Logic Quarterly 22 (1):29-34.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • (1 other version)A Neighbourhood Frame for T with No Equivalent Relational Frame.Martin Gerson - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):29-34.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics.Martin Serastian Gerson - 1975 - Studia Logica 34 (4):333-342.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Logics containing k4. part I.Kit Fine - 1974 - Journal of Symbolic Logic 39 (1):31-42.
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • An incomplete logic containing S.Kit Fine - 1974 - Theoria 40 (1):23-29.
    Download  
     
    Export citation  
     
    Bookmark   66 citations