Rob Goldblatt

My academic whakapapa can be traced back to Leibniz.

Research Interests

Mathematical and philosophical logic, abstract algebra, and the foundations of mathematics, including:

- model theory of intensional logics (modal logic, logic of programs, admissible semantics of quantifiers).

- algebraic logic (duality for varieties of logical algebras, coalgebras, categorical logic).

- nonstandard analysis.

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.

Available at 20% discount from Cambridge University Press

Publications

• Online Papers    (downloadable preprints)

• Books and Collections    (several downloadable)

• List of Published Papers

Professional Service

• Coordinating Editor of The Journal of Symbolic Logic.
• Managing Editor of Studia Logica.
• Editor of the
  • Notre Dame Journal of Formal Logic.
  • Journal of Applied Logic.
  • New Zealand Journal of Mathematics.
  • Journal of Automated Reasoning.
• Executive Committee and Council member of the Association for Symbolic Logic.
• Fellow and Councillor of the Royal Society of New Zealand.
• President and Honorary Life Member of the New Zealand Mathematical Society.
• Member of the Marsden Fund Council.
• NZ representative to the International Mathematical Union.