Recent and current courses
Multi-agent Systems. I teach this subject every year, in the past a few years together with Elske van der Vaart and later together with Barteld Kooi. We use the book Epistemic Logic for AI and Computer Science by John-Jules Meyer and Wiebe van der Hoek.
Advanced Logic. I teach this subject every year, mainly to second and third year Bachelor students of Mathematics and Artificial Intelligence. We use the book Introduction to Non-Classical Logic: From Ifs to Is by Graham Priest.
Introduction to Logic. I teach this subject every year, mainly to first year Bachelor students of Mathematics and Artificial Intelligence. We use the book Language, Proof and Logic by Jon Barwise, John Etchemendy and colleagues.
Games, Action and Social Software. Introductory PhD Course at ESSLLI 2009 in Toulouse, taught together with Jan van Eijck.
Slides and other information for the course: http://homepages.cwi.nl/~jve/courses/esslli09/
We used the book Discourses on Social Software edited by Jan van Eijck and Rineke Verbrugge.
Rineke Verbrugge 2023