My MSc thesis at the Master of Logic run by the Institute for Logic, Language, and Computation at the University of Amsterdam.

It is very much a work in progress. I am being supervised by Dr Benno van den Berg and Daniël Otten MSc.