Advanced Logic 2016-2017
An introduction to modal logics, in which the following subjects are discussed:
basic modal logic,
possible world semantics,
bisimulation and invariance,
temporal, dynamic, epistemic logic.
No lecture on Thursday March 16.
week 5-11: Monday 15.30-17.15
week 5-11: Thursday 09.10-10.50
Femke van Raamsdonk
See also the
week 5-11: Wednesday 13.30-15.15
teacher: Jacco van Splunter, email: email@example.com
See also the
We use the book
Modal Logic for Open Minds
by Johan van Benthem.
Lectures and exercise classes
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.
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,
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.
Mail f.van.raamsdonk @ vu.nl.
Last update June 23, 2017.