Advanced Logic


Course Objective

The objective of the course Advanced Logic is to obtain a good
understanding of modal logic and its
use in computer science and artificial intelligence.

Course Content

A thorough introduction to modal logics, and its applications in
computer science and artificial intelligence. We will select some themes
from the book Modal Logics for Open Minds, by Johan van Benthem:
for example basic modal logic and possible world semantics, bisimulation
and invariance,
modal definability, decidability. In particular we treat the modal
logics most relevant to computer science and AI: temporal, dynamic and
epistemic logic.

Teaching Methods

Weekly 2 lectures and 1 exercise class, for the duration of 7 weeks.

Method of Assessment

A written exam and assignments that can make half a point bonus.


Johan van Benthem, Modal Logics for Open Minds, CSLI Publications 2010.

Target Audience


Custom Course Registration

Registration is organized in the standard way.

Explanation Canvas

The information about Advanced Logic is shared via the webpage of the

Recommended background knowledge

The bachelor course Logic and Modelling
or an equivalent introduction to first-order logic.

General Information

Course Code X_405048
Credits 6 EC
Period P4
Course Level 500
Language of Tuition English
Faculty Faculty of Science
Course Coordinator dr. F. van Raamsdonk
Examiner dr. F. van Raamsdonk
Teaching Staff dr. F. van Raamsdonk

Practical Information

You need to register for this course yourself

Last-minute registration is available for this course.

Teaching Methods Seminar, Lecture
Target audiences

This course is also available as: