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.
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.
Femke van Raamsdonk
See also the
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.