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