Advanced Logic 2016-2017

Contents

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.

Lectures

No lecture on Thursday March 16.

week 5-11: Monday 15.30-17.15
week 5-11: Thursday 09.10-10.50
teacher: Femke van Raamsdonk
See also the VU schedule.

Exercise classes

week 5-11: Wednesday 13.30-15.15
teacher: Jacco van Splunter, email: j.a.van.splunter@student.vu.nl
See also the VU schedule.

Book

We use the book Modal Logic for Open Minds 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

Extra material

Questions?

Mail f.van.raamsdonk @ vu.nl.
Last update June 23, 2017.