Areas of Specialization
| Modal Logic |
| Essentialism and Quantified Modal Logic |
| Ontology of Mathematics |
| Epistemology of Mathematics |