Books

Quantifiers, Propositions and Identity :
Admissible Semantics for Quantified Modal and
Substructural Logics
Lecture Notes in Logic No. 38,
Cambridge University Press and the Association for Symbolic Logic,
xiv+268pp, 2011.

Topoi : The Categorial Analysis of Logic
Studies in Logic, 98, NorthHolland Publishing Co., Amsterdam
 First Edition, 1979, xv + 486pp.
 Revised Edition (expanded), 1984, xvi + 551pp.
 Second printing of Revised Edition, 1986.
 TOΠOCbI (Russian) [Topoi].
Translation of first edition by V.N. Grishin and V.V. Shokurov.
Translation edited, and with a preface, by
D.A. Bochvar, 'Mir', Moscow, 1983, 488pp.
 Internet edition in the
Cornell
University Library Historical Mathematics Monographs Collection, 2002.

Dover Publications reprint, 2006.
 Downloadable as pdf from
Project Euclid, 2014.

Lectures on the Hyperreals: An Introduction to Nonstandard Analysis
Graduate Texts in Mathematics 188, SpringerVerlag, New York, xiv + 289pp, 1998.
Reprinted by World Publishing Corporation, China, 2011.
 Mathematics of Modality
CSLI Lecture Notes
Number 43,
Center for the Study of Language and
Information, Stanford University.
Distributed by University of Chicago Press. vi + 273 pp, 1993.

Logics of Time and Computation
CSLI Lecture Notes Number 7,
Center for the Study of Language and
Information, Stanford University.
Distributed by University of Chicago Press.
 First Edition, x + 133 pp, 1987.
 Second printing of First Edition, 1988
 Second Edition, Revised and Expanded, x + 180pp, 1992.

Orthogonality and Spacetime Geometry
Universitext, SpringerVerlag, New York,
1987, x + 190pp.

Axiomatising The Logic of Computer Programming
Lecture Notes in Computer Science 130, SpringerVerlag, 1982, xi + 304pp.
download pdf from Springer
Edited Collections

Proceedings of the 12th Asian Logic Conference.
Edited by Rod Downey, Jörg Brendle, Robert Goldblatt and Byunghan Kim.
World Scientific, Singapore, 2013, viii + 337pp.
ISBN13: 9789814449267

Advances in Modal Logic, Volume 7.
Edited by Carlos Areces and Robert Goldblatt.
College Publications, London, 2008, viii + 406pp.
ISBN13: 9781904987680

Special Issue, New Zealand Institute of Mathematics and Its Applications:
Logic and Computation Programme.
Edited by R. Downey and R. Goldblatt.
Annals of Pure and Applied Logic, vol. 183, Issues 13, 2006.

Festschrift for Max Cresswell on the occasion of his 65th birthday,
edited by T. Forster, R. Goldblatt and K. Segerberg.
Logique et Analyse, no. 181, 2003. (Published October 2004)