Advanced Logic 2018-2019

Contents

Advanced Logic (course code X_405048) is a course in the Master Computer Science, Master Artificial Intelligence, and Master Parallel and Distributed Computer Systems. It is an introduction to modal logics, in which the following subjects are discussed: basic modal logic, possible world semantics, bisimulation and invariance, modal definability, decidability, temporal, dynamic, epistemic logic.
See also the description in the Study Guide.

Schedule

The course is in 2018-2019 taught in period 4, that is, in weeks 6--12.
We have lectures on Mondays and Thursdays, and exercise classes on Fridays.
Please see the VU schedule.

Teachers

The lectures are taught by Femke van Raamsdonk.

Book

We use the book Modal Logic for Open Minds (MLOM) by Johan van Benthem.

Lectures and exercise classes (preliminary schedule)

Assignments

There are three sets of (non-obligatory) homework assignments.
They contribute to a bonus of at most 0.5 on the exam grade.
Passing two out of three assignments yields a bonus of at most 0.3, and passing one out of three assignments yields a bonus of at most 0.1.
The first assignment is available via canvas.

Exam

There is no midterm exam.

The final exam is in week 8 of the course, and there is a resit in June.

exam March 2015 and some answers

exam March 2018

resit June 2018

Extra material

Questions?

Mail f.van.raamsdonk @ vu.nl.
Last update March 21, 2019.