Teaching

Information about Courses and Lectures


Courses I teach at the University of Amsterdam:


  • Epistemic Paradoxes and Philosophical Puzzles (Master of Logic, Semester II, 2018-2019, 2019-2020, 2020-2021)

  • Logic, Knowledge and Science (Master, Semester Ib, 2012-2013, 2013-2014, 2015-2016, 2015-2016, 2016-2017, 2017-2018)

  • Logic and Society (Bachelor Philosophy, Semester II 2017-2018, 2018-2019, 2019-2020)

  • Metalogic, intensive introduction (Bachelor Philosophy, Semester II 2016-2017)

  • Guest lectures in courses on Human(e) AI, Logic, Cognition-Language-Communication.


Courses I (co)-taught in 2009-2012 at the University of Groningen:


  • Dynamic Interactive Belief Revision (2011-2012)

  • Inleiding Logica (2011-2012) together with B. Kooi

  • Philosophy of the Natural Sciences (2011-2012) together with J.W. Romeijn and B. Kooi

  • Dynamic Interactive Belief Revision (2010-2011)

  • Caput Philosophical Logic: Logics of Information Change together with A. Tamminga


Other courses I taught in the past at the Free University of Brussels:


  • Class on Logic and Informatics (30h, yearly from 2001- dec. 2008): This started as a graduate course directed towards master students in computer science and mathematics, later on the course was offered also to students at the philosophy department. The specific topic changed every year, covering material from 1) J. Van Benthem's A Manual of Intensional Logic, CSLI (1988); 2) D. Harel, D. Kozen and J. Tiuryn's Dynamic Logic, MIT (2000), 3) K. Devlin's Logic and Information, Cambridge University Press, New York, NY (1991), 4) R. Fagin, J. Y. Halpern, Y. Moses and M. Y. Vardi's Reasoning About Knowledge, MIT Press (1995), 5) A. Baltag, LS Moss's paper on Logics for Epistemic Programs, Synthese 139 (2004) and 6) M. Huth and M.D. Ryan's Logic in Computer Science: Modelling and reasoning about systems.


Courses in Logic taught at international summer schools:


  • Course on Logics for Formal Epistemology at NASSLLI 2018, CMU, USA. Joint Course with A. Baltag. Course Information

  • Course on Logics for Formal Epistemology at ESSLLI 2017, Toulouse, France. Joint course with A. Baltag. Course Information

  • Course on Dynamic Logics for Formal Epistemology at EASLLC 2014, Beijing, July 2-8 2014, China. Joint course with A. Baltag. Course information

  • Course on Dynamic Logics for Formal Epistemology at NASSLLI 2014, Maryland, June 21-27, USA. Joint course with A. Baltag and B. Renne. Course Information

  • Course on Interactive learning, formal social epistemology and group belief dynamics: logical, probabilistic and game-theoretic models at ESSLLI 2012, Opole Poland. Joint Course with A. Baltag. Course Information

  • Course at NASSLLI 2012, Austin Texas. Joint course with J. van Benthem and A. Baltag. Course Information

  • "Multi- Agent Belief Dynamics" at NASSLLI'2010 (North American Summer School in Logic, Language and Information), Indiana University June 21-25, 2010. Joint course with A. Baltag. Course Information

  • “Dynamic Logics for Interactive Belief Revision” at ESSLLI’ 09 (European Summer School in Logic, Language and Information), Bordeaux 2009. Joint course with A.Baltag. Course Information

  • "Logics for Quantum Information Flow” at ESSLLI’ 06 (European Summer School in Logic, Language and Information), Malaga 2006. Joint course with A.Baltag. Course Information


Invited courses taught at other universities:


  • Course on Logic for belief revision at International Rationality Summer Institute 2018. Joint with F. Velazquez-Quesada (Kloster Irsee, Germany, September 2 - 14, 2018)

  • Invited Course on Dynamic Epistemic Logic, part of HSI Hokkaido Summer Institute 2016, Hokkaido University, early August 2016, Japan (joint with A. Baltag).

  • (forthcoming) Invited Tutorial at the International WOLLIC 2016 conference, Puebla Mexico, 16-19 August 2016.

  • Invited course on Belief Dynamics in a Social Context, International Centre for Mathematics and Computer Science, Université Paul Sabatier, May 18-20 2015, Toulouse.

  • Invited course on Epistemic Logic, MCMP Summer School on Mathematical Philosophy for Female Students Munich, July 27 – 2 August 2014, Germany.

  • Invited course on belief revision at the University of Maastricht, January 2013.

  • Course. Invited course prior to the workshop on Methods for Modalities at the University of Malaga, November 9, 2011, Spain. Joint course with A. Baltag.

  • Course on Quantum Logic. Invited course at the workshop “Ph.D’s in Logic III”, 17-18 February 2011, Belgium.

  • Course on Quantum Logic. Invited Course 21 November 2010 (8 hours), Tokyo, Japan. Joint course with A. Baltag.

  • Mini-course on Quantum Dynamic Modal Logic prior to the conference "Advances in Modal Logic". (Two 1.5h Lectures) at the Independent University of Moscow. August 2010, Russia.

  • Course at the workshop on formal epistemology. Northern Institute of Philosophy, the University of Aberdeen, June 14-18, 2010. Joint with A. Baltag.

  • A course on "Dynamic Quantum Logic" at Perimeter Institute for Theoretical Physics, Waterloo, Ontario, Canada. July 2005. Joint with A. Baltag.

  • Philosophy of Physics, 3h course in the series "The Nature of Reality", Erasmushogeschool, Brussels, 2001-2002.