Advanced Logic 2017-2018

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.

Schedule

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

Teachers

The lectures are taught by Femke van Raamsdonk and the exercise classes are taught by Alexander Bentkamp.

Book

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

Lectures and exercise classes

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.

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

Extra material

Questions?

Mail f.van.raamsdonk @ vu.nl.
Last update February 23, 2018.