Advanced Logic 20162017
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 511: Monday 15.3017.15
week 511: Thursday 09.1010.50
teacher:
Femke van Raamsdonk
See also the
VU schedule.
Exercise classes
week 511: Wednesday 13.3015.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 (nonobligatory) 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

background material:
M. Huth and M. Ryan, Logic in Computer Science: Modelling and Reasoning about Systems,
Cambridge University Press, 2000

S. Popkorn, First Steps in Modal Logic.
Cambridge University Press, 1994
 P. Blackburn, M. de Rijke and Y. Venema,
Modal Logic.
Cambridge University Press, Theoretical Tracts in Computer Science, 2001.
 P. Blackburn, J. van Benthem, F. Wolter (eds.).
Handbook of Modal Logic.
Elsevier, Amsterdam, 2006.
 Temporal Logic,
by Yde Venema, Chapter 10 in: L. Goble (editor), The Blackwell Guide to Philosophical Logic,
Blackwell Publishers, Malden, USA, 2001, pages 203  223.
Questions?
Mail f.van.raamsdonk @ vu.nl.
Last update June 23, 2017.