Advanced Logic

2018-2019
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
understanding of modal logic and its
use in computer science and artificial intelligence.

Inhoud vak

A thorough introduction to modal logics, and its applications in
computer science and artificial intelligence. We will select some themes
from the book Modal Logics for Open Minds, by Johan van Benthem:
for example basic modal logic and possible world semantics, bisimulation
and invariance,
modal definability, decidability. In particular we treat the modal
logics most relevant to computer science and AI: temporal, dynamic and
epistemic logic.

Onderwijsvorm

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

Toetsvorm

A written exam and assignments that can make half a point bonus.

Literatuur

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

Doelgroep

mAI, mCS, mPDCS

Afwijkende intekenprocedure

Registration is organized in the standard way.

Toelichting Canvas

The information about Advanced Logic is shared via the webpage of the
course http://www.cs.vu.nl/~tcs/al.

Aanbevolen voorkennis

The bachelor course Logic and Modelling
or an equivalent introduction to first-order logic.

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
Doelgroepen

Dit vak is ook toegankelijk als: