Topoi: the categorial analysis of logic R Goldblatt Elsevier, 2014 | 1446 | 2014 |
Logics of time and computation R Goldblatt Center for the Study of Language and Information, 1987 | 1296 | 1987 |
Lectures on the hyperreals: an introduction to nonstandard analysis R Goldblatt Springer Science & Business Media, 2012 | 539 | 2012 |
Semantic analysis of orthologic RI Goldblatt Journal of Philosophical logic, 19-35, 1974 | 362 | 1974 |
Varieties of complex algebras R Goldblatt Annals of pure and applied logic 44 (3), 173-242, 1989 | 357 | 1989 |
Mathematical modal logic: A view of its evolution R Goldblatt Journal of Applied Logic 1 (5-6), 309-392, 2003 | 326 | 2003 |
Metamathematics of modal logic RI Goldblatt Bulletin of the Australian Mathematical Society 10 (3), 479-480, 1974 | 271 | 1974 |
Axiomatising the logic of computer programming R Goldblatt Journal of Symbolic Logic 50 (3), 1985 | 243 | 1985 |
Mathematics of modality R Goldblatt | 225 | 1993 |
Axiomatic classes in propositional modal logic RI Goldblatt, SK Thomason Algebra and Logic: Papers from the 1974 Summer Research Institute of the …, 1975 | 162 | 1975 |
Diodorean modality in Minkowski spacetime R Goldblatt Studia Logica, 219-236, 1980 | 103 | 1980 |
Orthogonality and spacetime geometry R Goldblatt Springer Science & Business Media, 2012 | 84 | 2012 |
Grothendieck topology as geometric modality RI Goldblatt Mathematical Logic Quarterly 27 (31‐35), 495-529, 1981 | 81 | 1981 |
Orthomodularity is not elementary1 R Goldblatt The Journal of Symbolic Logic 49 (2), 401-404, 1984 | 73 | 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 | 62 | 1975 |
Algebraic polymodal logic: A survey R Goldblatt Logic Journal of IGPL 8 (4), 393-450, 2000 | 55 | 2000 |
Quantifiers, propositions and identity: admissible semantics for quantified modal and substructural logics R Goldblatt Cambridge University Press, 2011 | 54 | 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 | 53 | 1985 |
Elementary generation and canonicity for varieties of Boolean algebras with operators R Goldblatt Algebra Universalis 34, 551-607, 1995 | 51 | 1995 |