Teaching


Introduction to Modal Logic, University of Amsterdam, Fall 2017.

Mathematical Structures in Logic, University of Amsterdam, 2015-2017.

Introduction to Modal Logic, University of Amsterdam, 2014-2016.

Mathematical Logic, University of Amsterdam, 2014-2017. Course material is available on Blackboard.

Logische Complexiteit, Utrecht University, February - March, 2013.

"Modal and temporal logic", a course for 4th-year undergraduate and MSc students at Department of Computing, Imperial College London, taught together with Ian Hodkinson and Clemens Kupke, October - December, 2009 and 2010.

"Logic Programming", a 2nd-year undergraduate course, Department of Computer Science, University of Leicester, January - March, 2008.

"Introduction to Category Theory and Categorical Logic", MSc course, ILLC, University of Amsterdam, January - March, 2006.

Intuitionistic logic, a course taught with Dick de Jongh at the European Summer School in Logic, Language and Information (ESSLLI 2005), 8-19 August, 2005, Edinburgh, UK.


Student Supervision


Master's Students

Guillaume Massas, Master's thesis entitled: Possibility spaces, Q-completions and Rasiowa-Sikorski lemmas for non-classical logics, ILLC, University of Amsterdam. Defense date: 21 December, 2016.

Olim Tuyt (co-supervised with Sebastian Enqvist), Master's thesis entitled: Canonical rules on neighbourhood frames, ILLC, University of Amsterdam. Defense date: 13 December, 2016.

Thomas Santoli (co-supervised with Yde Venema), Master's thesis entitled: Logics for compact Hausdorff spaces via de Vries duality, ILLC, University of Amsterdam. Defense date: 3 June, 2016.

Frederik Moellerstroem Lauridsen (co-supervised with Silvio Ghilardi), Master's thesis entitled: One-step algebras and frames for modal and intuitionistic logics, ILLC, University of Amsterdam. Defense date: 26 August, 2015.

Aybuke Ozgun (co-supervised with Sonja Smets), Master's thesis entitled: Topological models for belief and belief revision, ILLC, University of Amsterdam. Defense date: 21 August, 2013.

A. Tzimoulis and Zh. Zhao (co-supervised with Dick de Jongh), project entitled: The universal model for the negation-free fragment of IPC, ILLC, University of Amsterdam. November 2012 - February 2013.

Gaelle Fontaine (co-supervised with Yde Venema), Master's thesis entitled: Axiomatization of ML and Cheq , ILLC, University of Amsterdam. Defense date: 10 November, 2006.

Project supervision for 15 Master's students in Intuitionistic logic at the ILLC, University of Amsterdam. (Some of these papers were published as a technical report Student papers from an intuitionistic logic project of the ILLC).


Bachelor's Students

Selma Boeke (co-supervised with Paula Henk), Bachelor's thesis entitled: "Semantics for provability logic", ILLC, University of Amsterdam, January - July, 2017.

Thijs Benjamins (co-supervised with Frederik Lauridsen), Bachelor's thesis entitled: "Interpolation for extensions of S5-squared", ILLC, University of Amsterdam, January - July, 2016.

Mick van Dijk, Bachelor's thesis entitled: "Expressive power of modal languages over R and R2", ILLC, University of Amsterdam, January - June, 2016.

Mike van Niehoff, Bachelor's thesis entitled: "Translating doxastic logics to epistemic logics", ILLC, University of Amsterdam, January - June, 2016.

Kyah Smaal, Bachelor's thesis entitled: "Modal logics of serial subsets of R and Q", ILLC, University of Amsterdam, January - June, 2015.

Dorien Zwaneveld (co-supervised with Julia Ilin), Bachelor's thesis entitled: "Subdirectly irreducible algebras in varieties of universal algebras", ILLC, University of Amsterdam, February - August, 2014.