Advanced Logic 20182019
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.
See also the
description in the Study Guide.
Schedule
The course is in 20182019 taught in period 4, that is, in weeks 612.
We have lectures on Mondays and Thursdays, and exercise classes on Fridays.
Please see the
VU schedule.
Teachers
The lectures are taught by
Femke van Raamsdonk.
Book
We use the book
Modal Logic for Open Minds
(MLOM)
by Johan van Benthem.
Lectures and exercise classes (preliminary schedule)

lecture 1 on Monday 2019 02 04
basic modal logic: formulas and Kripke semantics
book MLOM 2.12.3
slides lecture 1:
1up
and
4up
(updated after the lecture)

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

exercise class 1 on Friday 2019 02 08
exercise
sheet 1
and
some
answers

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

lecture 4 on Thursday 2019 02 14
bisimulations,
modal equivalence and bisimilarity
book MLOM 3
slides lecture 4:
1up
and
4up
(updated after the lecture)

exercise class 2 on Friday 2019 02 15
exercise
sheet 2
and
some
answers

lecture 5 on Monday 2019 02 18
bisimulations and modal equivalence, towards decidability
MLOM 3, 7.4, beginning of 4
slides lecture 5:
slides 1up
and
slides 4up
(updated after the lecture)

lecture 6 on Thursday 2019 02 21
decidability of basic modal logic
MLOM 4
slides lecture 6:
slides 1up
and
slides 4up
(updated after the lecture)

exercise class 3 on Friday 2019 02 22
exercise
sheet 3
and
some
answers

lecture 7 on Monday 2019 02 25
remainder of decidability, proof systems
MLOM 4.3, 5
slides 1up
and
slides 4up
(updated after the lecture)

lecture 8 on Thursday February 28
proof systems, temporal logic
MLOM 5, 9.1, 9.2
slides 1up
and
slides 4up
(updated after the lecture)

exercise class 4 on Friday March 1
exercise
sheet 4
and some answers

lecture 9 on Monday March 4
via temporal logic towards multimodal logic
MLOM 7.4, towards 10.1
slides 1up
and
slides 4up
(updated after the lecture)

lecture 10 on Thursday March 7
multimodal logic, and towards propositional dynamic logic
MLOM 14.15
slides 1up
and
slides 4up
(updated after the lecture)

exercise class 5 on Friday March 8
exercise
sheet 5
and
some
answers

lecture 11 on Monday March 11
propositional dynamic logic
MLOM 14.15
slides 1up
and
slides 4up
(updated after the lecture)

lecture 12 on Thursday March 14
propositional dynamic logic
MLOM 14.15
slides 1up
and
slides 4up
(updated after the lecture)

exercise class 6 on Friday March 15
exercise
sheet 6
and
some
answers

lecture 13 on Monday March 18
discussion homework 3 and overview
slides 1up
and
slides 4up
(updated after the lecture)

lecture 14 on Thursday March 21
exam practice (exam 1718)

exercise class 7 on Friday March 22
possibility to ask questions; no new material or exercises (so no problem to miss this meeting)
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.
The first assignment is available via canvas.
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
exam March 2018
resit June 2018
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,
https://staff.fnwi.uva.nl/y.venema/papers/TempLog.pdf
Blackwell Publishers, Malden, USA, 2001, pages 203  223.
Questions?
Mail f.van.raamsdonk @ vu.nl.
Last update March 21, 2019.