Advanced Logic

Dit vak wordt in het Engels aangeboden. Omschrijvingen kunnen daardoor mogelijk alleen in het Engels worden weergegeven.

Doel vak

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.

Inhoud vak

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.


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


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.


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



Afwijkende intekenprocedure

Registration is organized in the standard way.

Toelichting Canvas

Canvas is used for the assignments and announcements. The canvas page
contains a link to the webpage where the
slides and the material for the exercise classes can be found.

Aanbevolen voorkennis

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

Algemene informatie

Vakcode X_405048
Studiepunten 6 EC
Periode P4
Vakniveau 500
Onderwijstaal Engels
Faculteit Faculteit der Bètawetenschappen
Vakcoördinator dr. F. van Raamsdonk
Examinator dr. F. van Raamsdonk
Docenten dr. F. van Raamsdonk

Praktische informatie

Voor dit vak moet je zelf intekenen.

Voor dit vak kun je last-minute intekenen.

Werkvormen Werkcollege, Deeltoets extra zaalcapaciteit, Hoorcollege

Dit vak is ook toegankelijk als: