Teaching

• Capita Selecta in Modal Logic, Algebra and Coalgebra
  an advanced course on modal logic in the local MSc Logic programme.
  The 2011/2012 edition of this course will be devoted to modal fixpoint logics and their connections with automata theory.
• Inleiding Logica
  a short, introductory course in Logic for first-year mathematics students.
• Model Theory
  an introductory course on model theory, featuring in the local MSc Logic programme.