13 found
Order:
  1.  66
    Semantic analysis of orthologic.R. I. Goldblatt - 1974 - Journal of Philosophical Logic 3 (1/2):19 - 35.
  2. Topoi: The Categorial Analysis of Logic.R. I. Goldblatt - 1982 - British Journal for the Philosophy of Science 33 (1):95-97.
     
    Export citation  
     
    Bookmark   57 citations  
  3.  41
    First-order definability in modal logic.R. I. Goldblatt - 1975 - Journal of Symbolic Logic 40 (1):35-40.
    It is shown that a formula of modal propositional logic has precisely the same models as a sentence of the first-order language of a single dyadic predicate iff its class of models is closed under ultraproducts. as a corollary, any modal formula definable by a set of first-order conditions is always definable by a single such condition. these results are then used to show that the formula (lmp 'validates' mlp) is not first-order definable.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  4.  18
    A study of ${\scr Z}$ modal systems.R. I. Goldblatt - 1974 - Notre Dame Journal of Formal Logic 15 (2):289-294.
  5.  8
    Concerning the proper axiom for $S4.04$ and some related systems.R. I. Goldblatt - 1973 - Notre Dame Journal of Formal Logic 14 (3):392-396.
  6.  11
    A new extension of $S4$.R. I. Goldblatt - 1973 - Notre Dame Journal of Formal Logic 14 (4):567-574.
  7.  12
    Solution to a completeness problem of Lemmon and Scott.R. I. Goldblatt - 1975 - Notre Dame Journal of Formal Logic 16 (3):405-408.
  8.  9
    A study of ZETA modal systems.R. I. Goldblatt - 1974 - Notre Dame Journal of Formal Logic 15:289.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  10
    Decidability of Some Extensions of J.R. I. Goldblatt - 1974 - Mathematical Logic Quarterly 20 (13‐18):203-206.
  10.  23
    Decidability of Some Extensions ofJ.R. I. Goldblatt - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (13-18):203-206.
  11.  6
    A Model‐Theoretic Study of Some Systems Containing S3.R. I. Goldblatt - 1973 - Mathematical Logic Quarterly 19 (3‐6):75-82.
  12.  21
    A Model‐Theoretic Study of Some Systems Containing S 3.R. I. Goldblatt - 1973 - Mathematical Logic Quarterly 19 (3-6):75-82.
  13.  4
    Erratum: ``Concerning the proper axiom for $S4.04$ and some related systems''.R. I. Goldblatt - 1975 - Notre Dame Journal of Formal Logic 16 (4):608-608.