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.
Supremum in the Lattice of Interpretability
Supervisors: Dick de Jongh and Albert Visser
University of Amsterdam, 2012