Advanced Logic 20172018
Contents
Advanced Logic (course code X_405048) is a course in the Master Computer Science,
Master Artificial Intelligence, and Master Parallel and Distributed Computer Systems.
It is 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.
Schedule
The course is in 20172018 taught in period 4, that is, in weeks 612.
We have lectures on Mondays and Thursdays, and exercise classes on Wednesdays.
Please see the
VU schedule.
Teachers
The lectures are taught by
Femke van Raamsdonk
and the exercise classes are taught by
Alexander Bentkamp.
Book
We use the book
Modal Logic for Open Minds
(MLOM)
by Johan van Benthem.
Lectures and exercise classes
 lecture 1 on Monday 2018 02 05: basic modal logic
book MLOM 2.12.3, and
slides 1up
and
slides 4up
(updated after the lecture)

exercise class 1 on Wednesday 2018 02 07:
exercise
sheet 1 and
some
answers

lecture 2 on Thursday 2018 02 08: basic modal logic, game semantics
book MLOM 2, and
slides 1up
and
slides 4up
(updated after the lecture)

lecture 3 on Monday 2018 02 12: preservation of truth,
characterizations of frame properties,
bisimulations
part not from the book, and part MLOD 3.13.2, and
slides 1up
and
slides 4up
(updated after the lecture)

exercise class 2 on Wednesday 2018 02 14:
exercise
sheet 2
and
some
answers

lecture 4 on Thursday 2018 02 15: bisimulations,
modal equivalence and bisimilarity
MLOM Chapter 3, and
slides 1up
and
slides 4up
(updated after the lecture)

lecture 5 on Monday 2018 02 19: bisimulations, towards decidability
slides 1up
and
slides 4up
(updated after the lecture)

exercise class 3 on Wednesday February 21:
exercise
sheet 3
and
some
answers

lecture 6 on Thursday 2018 02 22: decidability
slides 1up
and
slides 4up
(updated after the lecture)
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.

first set of homework exercises,
deadline Monday 2018 02 19 (week 3) at 13.30

second set of homework exercsies,
deadline Monday 2018 03 05 (week 5) at 13.30

third set of homework exercises,
deadline Monday 2018 03 19 (week 7) at 13.30
Exam
There is no midterm exam.
The final exam is in week 8 of the course, and there is a resit
in June.
exam
March 2015
and
some
answers
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 February 23, 2018.