Retired. Interests include modal logic and the foundations of mathematics.