I work on metaphysics, philosophical logic, the philosophy of mathematics, and logic.