Advanced Logic

2019-2020

Course Objective

The objective of the course Advanced Logic is to obtain a good
basic understanding of modal logic.
At the end of the course the student should be able to give proofs
(semantical, syntactical), to show (non-)definability of operators and
frame properties, to make elementary derivations in Hilbert style
systems, to prove properties about regular programs in propositional
dynamic logic, and more in general the student should have acquired some
flexibility in dealing with different versions of modal logic.

Course Content

The course Advanced Logic is concerned with modal logic and its
application to computer science. We study some themes from the book
Modal Logics for Open Minds by Johan van Benthem, in particular: basic
modal logic and possible world semantics, bisimulation and invariance,
modal definability and expressive power, decidability, proof systems,
dynamic logic, epistemic logic.

Teaching Methods

Weekly 2 lectures and 1 exercise class, for the duration of 7 weeks.

Method of Assessment

A written exam.

In addition, there are three non-obligatory homework assignments.
A successful completion of one, two, or three homework assignments
yields a bonus of (respectively) at most 0.1, 0.3, or 0.5 which is added
to the
exam grade if a passing grade for the written exam is obtained.

Literature

Johan van Benthem, Modal Logics for Open Minds, CSLI Publications 2010.

Target Audience

mAI, mCS, mPDCS

Custom Course Registration

Registration is organized in the standard way.

Explanation Canvas

Canvas is used for the assignments and announcements. The canvas page
contains a link to the webpage http://www.cs.vu.nl/~tcs/al where the
slides and the material for the exercise classes can be found.

Recommended background knowledge

Basic knowledge of the syntax and semantics of first-order proposition
and predicate logic,
as for example taught in the Bachelor course Logic and Modelling
(X_401015).

General Information

Course Code X_405048
Credits 6 EC
Period P4
Course Level 500
Language of Tuition English
Faculty Faculty of Science
Course Coordinator dr. F. van Raamsdonk
Examiner dr. F. van Raamsdonk
Teaching Staff dr. F. van Raamsdonk

Practical Information

You need to register for this course yourself

Last-minute registration is available for this course.

Teaching Methods Seminar, Lecture
Target audiences

This course is also available as: