Teaching
Talks
Research
Home





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