My main research interest lies in the area of provability logic, where modal logic is used
in the study of formal systems of arithmetic.

My PhD project is a continuation of my Master Thesis, where I explored the possibility of adding a supremum operator (w.r.t. the relation of interpretability) to the interpretability logic ILM of essentially reflexive theories.

Master's Thesis

Supremum in the Lattice of Interpretability (.pdf)
Supervisors: Dick de Jongh and Albert Visser
University of Amsterdam, 2012