5 found
Order:
Disambiguations
Martin Gerson [4]Martin Serastian Gerson [1]Martin Sebastian Gerson [1]
  1.  48
    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 (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  2.  39
    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.
  3.  27
    A Neighbourhood Frame for T with No Equivalent Relational Frame.Martin Gerson - 1976 - Mathematical Logic Quarterly 22 (1):29-34.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  4.  32
    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.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  5.  10
    Noncompactness in Propositional Modal Logic.S. K. Thomason, Kit Fine, Martin Gerson & Martin Sebastian Gerson - 1983 - Journal of Symbolic Logic 48 (2):488-495.
    Direct download  
     
    Export citation  
     
    Bookmark