15 found
Order:
  1.  9
    Topoi: The Catergorical Analysis of Logic.R. I. Goldblatt - 2006 - Dover Publications.
  2.  34
    Semantic Analysis of Orthologic.R. I. Goldblatt - 1974 - Journal of Philosophical Logic 3 (1/2):19 - 35.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   66 citations  
  3. Topoi: The Categorial Analysis of Logic.R. I. Goldblatt - 1982 - British Journal for the Philosophy of Science 33 (1):95-97.
     
    Export citation  
     
    Bookmark   18 citations  
  4.  20
    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   13 citations  
  5.  6
    A New Extension of $S4$.R. I. Goldblatt - 1973 - Notre Dame Journal of Formal Logic 14 (4):567-574.
  6.  2
    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.
  7.  20
    Decidability of Some Extensions ofJ.R. I. Goldblatt - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (13-18):203-206.
  8.  6
    A Study of ${\Scr Z}$ Modal Systems.R. I. Goldblatt - 1974 - Notre Dame Journal of Formal Logic 15 (2):289-294.
  9.  12
    A Note on Thomason's Refined Structures for Tense Logics.A. H. Lachlan, Kit Fine, Stig Kanger, R. I. Goldblatt, S. K. Thomason & J. N. Crossley - 1982 - Journal of Symbolic Logic 47 (2):440-445.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  5
    Decidability of Some Extensions of J.R. I. Goldblatt - 1974 - Mathematical Logic Quarterly 20 (13‐18):203-206.
  11.  2
    A Study of ZETA Modal Systems.R. I. Goldblatt - 1974 - Notre Dame Journal of Formal Logic 15:289.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  4
    Solution to a Completeness Problem of Lemmon and Scott.R. I. Goldblatt - 1975 - Notre Dame Journal of Formal Logic 16 (3):405-408.
  13.  19
    A Model-Theoretic Study of Some Systems Containing S3.R. I. Goldblatt - 1973 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 19 (3-6):75-82.
  14.  3
    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.
  15.  2
    A Model‐Theoretic Study of Some Systems Containing S3.R. I. Goldblatt - 1973 - Mathematical Logic Quarterly 19 (3‐6):75-82.