I am Emeritus Professor in the
School of Mathematics and Statistics
Victoria University of Wellington,
Here is my academic whakapapa.
And here are some pages about Logic at VUW.
- Mathematical and philosophical logic, abstract algebra, and the foundations of mathematics,
- - 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
Lecture Notes in Logic No. 38,
Cambridge University Press and the Association for Symbolic Logic,