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 MLOM 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
MLOM Chapters 3, 7.4, beginning of 4, and
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
MLOM Chapter 4, and
slides 1up
and
slides 4up
(updated after the lecture)

lecture 7 on Monday 2018 02 16: temporal logic
see additional material for background, MLOM 7.4, and
slides 1up
and
slides 4up
(updated after the lecture)

exercise class 4 on Wednesday February 28:
exercise
sheet 4
and some answers

lecture 8 on Thursday March 1: temporal logic, multimodal logic
slides 1up
and
slides 4up
(updated after the lecture)

lecture 9 on Monday March 5: propositional dynamic logic
slides 1up
and
slides 4up
(updated after the lecture)

exercise class 5 on Wednesday March 7:
exercise
sheet 5
and
some
answers

lecture 10 on Thursday March 8: propositional dynamic logic
slides 1up
and
slides 4up
(updated after the lecture)

lecture 11 on Monday March 12: epistemic logic and proof systems:
MLOM Chapter 12 but not 12.4, (MLOM Chapter 8, )and
slides 1up
and
slides 4up
(updated after the lecture)

exercise
class 6

lecture 12 on Thursday March 15: epistemic logic and proof systems:
MLOM Chapter 12 but not 12,4, MLOM Chapter 8, and
slides 1up
and
slides 4up
(updated after the lecture)

lecture 13 on Monday March 19: epistemic logic and proof systems
MLOM Chapter 12 (not 12.4), Chapter 8.1, MLOM 9.1
slides 1up
and
slides 4up
(updated after the lecture)

exercise class 7 on Wednesday March 21:
we consider the exams of last year

lecture 14 on Thursday March 22: overview and question hour
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.
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 2017
resit June 2017
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 March 22, 2018.