Publications
Here is a list of books on Logic that have been (co)produced by VUW logicians, followed by some links to several peoples' publication pages.
Books
- The Elements of Formal Logic, by G. E. Hughes and D. G. Londey, Methuen 1965.
- An Introduction to Modal Logic, by G. E. Hughes and M. J. Cresswell, Methuen 1968.
- Logics and Languages, by M. J. Cresswell, Methuen, 1973.
- Topoi : The Categorial Analysis of Logic, by Robert Goldblatt, Studies in Logic, 98, Elsevier 1979. Revised Edition (expanded), 1984. Internet edition in the Cornell University Library Historical Mathematics Monographs Collection, 2002. Dover Publications reprint, 2006.
- John Buridan on Self-Reference: Chapter Eight of Buridan's 'Sophismata', with a Translation, an Introduction, and a Philosophical Commentary, by G. E. Hughes, Cambridge University Press, 1982.
- Axiomatising The Logic of Computer Programming, by Robert Goldblatt (Lecture Notes in Computer Science 130), Springer-Verlag, 1982.
- A Companion to Modal Logic, by G. E. Hughes and M. J. Cresswell, Methuen 1984.
- Structured Meanings: The Semantics of Propositional Attitudes, by M. J. Cresswell, Bradford Books/MIT Press, 1985.
- Adverbial Modification, by M. J. Cresswell, Reidel, 1985.
- Orthogonality and Spacetime Geometry, by Robert Goldblatt, Springer-Verlag, 1987.
- Logics of Time and Computation, by Robert Goldblatt, CLSI Publications, Stanford 1987. Second Edition, Revised and Expanded, 1992.
- Semantical Essays: Possible Worlds and Their Rivals, by M. J. Cresswell, Kluwer Academic Publishers, 1988.
- Paul of Venice. Logica magna, Part II, Fascicule 4, Capitula De Conditionali et De Rationali. Edited with an English Translation and Notes by G. E. Hughes. The British Academy Classical and Medieval Logic Texts, VI. Published for The British Academy by Oxford University Press, Oxford, 1990.
- Entities and Indices, by M. J. Cresswell, Kluwer, 1990.
- Mathematics of Modality, by Robert Goldblatt, CLSI Publications, Stanford 1993.
- Language in the World, Cambridge University Press, by M. J. Cresswell, 1994.
- Semantic Indexicality, by M. J. Cresswell, Kluwer, 1996.
- A New Introduction to Modal Logic, by G. E. Hughes and M. J. Cresswell, Routledge, 1996.
- Lectures on the Hyperreals: An Introduction to Nonstandard Analysis, by Robert Goldblatt, Springer 1998.
- Parameterized Complexity, by R. G. Downey and M. R. Fellows, Springer, 1999.
- Relevant Logic: A Philosophical Interpretation, by Edwin D. Mares, Cambridge University Press 2004.
- Algorithmic Randomness and Complexity, by Rodney G. Downey and Denis R. Hirschfeldt, Springer 2011.
- Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics, by Robert Goldblatt. Lecture Notes in Logic, Cambridge University Press and the Association for Symbolic Logic, 2011.
- A Priori, by Edwin D. Mares, Acumen 2011.
- The World-time Parallel, by A.A. Rini and M.J. Cresswell, Cambridge, Cambridge University Press, 2012.
- Fundamentals of Parameterized Complexity, by Rodney G. Downey and Michael R. Fellows, Springer, 2013.
- Effective Mathematics of the Uncountable, edited by Noam Greenberg, Joel David Hamkins, Denis Hirschfeldt and Russell Miller. Lecture Notes in Logic, Cambridge University Press and the Association for Symbolic Logic, 2013.
- Logical Modalities from Aristotle to Carnap, edited by Max Cresswell, Edwin Mares and Adriane Rini, Cambridge University Press, 2016.
- Computability and Complexity: Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday, Adam Day et al. (Eds), Lecture Notes in Computer Science 10010, Springer, 2017.
- Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory, by Mauro Di Nasso, Isaac Goldbring and Martino Lupini, Lecture Notes in Mathematics 2239, Springer, 2019.
- Minimal Weak Truth Table Degrees and Computably Enumerable Turing Degrees, by Rod Downey, Keng Meng Ng and Reed Solomon. Memoirs of the American Mathematical Society, Vo. 265, No. 1284, 2020.
- A Hierarchy of Turing Degrees: A Transfinite Hierarchy of Lowness Notions in the Computably Enumerable Degrees, Unifying Classes, and Natural Definability, by Rod Downey and Noam Greenberg, Annals of Mathematics Studies 206, Princeton University Press 2020.