Applications of logic to computer science and to philosophy
Theory of Truth
I have developed tableau methods for many modal logics, which have been successfully implemented on computers. My work on Kripke-like theories of truth has also been applied to provide semantics for certain programming languages. Some of this work has also found application in non-monotonic reasoning. Recently I have been interested in first- and higher-order modal logics. Applications here range from an explication of Goedel's ontological argument, to semantics for databases of a rather complex sort. My current research involves adding or removing various features from quantified modal logics, to see what the formal consequences are.
Courses Recently Taught
"First order alethic modal logic," Blackwell Companion to Philosophical Logic
, Edited by Dale Jacquette, 2000.
First-Order Modal Logic
, coauthored with Richard Mendelsohn, Kluwer, 1998.
Set Theory and the Continuum Problem
, coauthored with Raymond M. Smullyan, 1996, Oxford University Press.
"Bertrand Russell, Herbrand's Theorem, and the assignment statement," Artificial Intelligence and Symbolic Computation
, Springer Lecture Notes in Artificial Intelligence 1476, pp 14--28, 1998.
"A theory of truth that prefers falsehood," Journal of Philosophical Logic
, 26:477-500, 1997.