Robert Goldblatt

Books and handbook chapters

• 1979: Topoi: The Categorial Analysis of Logic, North-Holland. Revised edition 1984. Dover Publications edition 2006. , Project Euclid.
• 1982: Axiomatising the Logic of Computer Programming, Lecture Notes in Computer Science 130, Springer-Verlag.
• 1987: Orthogonality and Spacetime Geometry, Universitext Springer-Verlag
• 1987: Logics of Time and Computation. CSLI Lecture Notes, 7. Stanford University, Center for the Study of Language and Information. Second edition 1992.
• 1993: Mathematics of Modality, CSLI Publications,
• 1998: Lectures on the Hyperreals: An Introduction to Nonstandard Analysis. Graduate Texts in Mathematics, 188. Springer-Verlag.
• 2006: "Mathematical Modal Logic: a View of its Evolution" in Modalities in the Twentieth Century, Volume 7 of the Handbook of the History of Logic, edited by Dov M. Gabbay and John Woods, Elsevier, pp. 1–98.
• 2011: Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics, Cambridge University Press and the Association for Symbolic Logic.