Topoi: the categorial analysis of logic R Goldblatt Elsevier, 2014 | 1489 | 2014 |
Logics of time and computation R Goldblatt Center for the Study of Language and Information, 1987 | 1333 | 1987 |
Lectures on the hyperreals: an introduction to nonstandard analysis R Goldblatt Springer Science & Business Media, 2012 | 567 | 2012 |
Semantic analysis of orthologic RI Goldblatt Journal of Philosophical logic, 19-35, 1974 | 382 | 1974 |
Varieties of complex algebras R Goldblatt Annals of pure and applied logic 44 (3), 173-242, 1989 | 370 | 1989 |
Mathematical modal logic: A view of its evolution R Goldblatt Handbook of the History of Logic 7, 1-98, 2006 | 332 | 2006 |
Metamathematics of modal logic RI Goldblatt Bulletin of the Australian Mathematical Society 10 (3), 479-480, 1974 | 269 | 1974 |
Axiomatising the logic of computer programming R Goldblatt Journal of Symbolic Logic 50 (3), 1985 | 255 | 1985 |
Mathematics of modality R Goldblatt | 226 | 1993 |
Axiomatic classes in propositional modal logic RI Goldblatt, SK Thomason Algebra and Logic: Papers from the 1974 Summer Research Institute of the …, 1975 | 166 | 1975 |
Diodorean modality in Minkowski spacetime R Goldblatt Studia Logica 39, 219-236, 1980 | 107 | 1980 |
Grothendieck topology as geometric modality RI Goldblatt Mathematical Logic Quarterly 27 (31‐35), 495-529, 1981 | 90 | 1981 |
Orthogonality and spacetime geometry R Goldblatt Springer Science & Business Media, 2012 | 84 | 2012 |
Orthomodularity is not elementary1 R Goldblatt The Journal of Symbolic Logic 49 (2), 401-404, 1984 | 75 | 1984 |
First-order definability in modal logic RI Goldblatt The Journal of Symbolic Logic 40 (1), 35-40, 1975 | 69 | 1975 |
The Stone space of an ortholattice RI Goldblatt Bulletin of the London Mathematical Society 7 (1), 45-48, 1975 | 65 | 1975 |
Quantifiers, propositions and identity: admissible semantics for quantified modal and substructural logics R Goldblatt Cambridge University Press, 2011 | 61 | 2011 |
On the role of the Baire category theorem and dependent choice in the foundations of logic R Goldblatt The Journal of Symbolic Logic 50 (2), 412-422, 1985 | 54 | 1985 |
An alternative semantics for quantified relevant logic ED Mares, R Goldblatt The Journal of Symbolic Logic 71 (1), 163-187, 2006 | 53 | 2006 |
Elementary generation and canonicity for varieties of Boolean algebras with operators R Goldblatt Algebra Universalis 34, 551-607, 1995 | 53 | 1995 |