Advanced Logic 2017-2018

Advanced Logic will be taught in period 4 of 2017-2018.
The information below is from the course of 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

teacher: Femke van Raamsdonk
See also the VU schedule.

Exercise classes

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.