[TU Dresden]

Modal Logic

Technische Universität Dresden
Institut für Theoretische Informatik
Lehrstuhl für Automatentheorie

Dr. Carsten Lutz

Course Description

Modal logics are an important tool for talking about relational structures and have many applications, for example, in computer science, philosophy, and lingustics. This course is an introduction to "pure" modal logic covering many fundamental topics such as modal expressivity, completeness theory, and computational complexity.

Prerequisites: an acquaintance with the basics of propositional and first-order logic is expected. Some knowledge in complexity theory will also be helpful.


On June, 23rd and June, 30th, the lecture will take place in Room GRU 370

The lecture takes place once a week in room GRU 350: Monday 13:00-14:30.

There is no exercise group, though some (voluntary) exercises are given in the lecture.

Course Material

A script of the lecture is not available and students are strongly recommended to transcribe what is written on the blackboard.

Some slides used in the lecture are available here:

Credits / Examinations

Computational logic students can earn 3 credits by attending this lecture. In order to get the credits, CL students have to pass a short oral examination at the end of the term.

The oral examinations will take place on July, 29th in Room GRU 433.


The following books will be described in some more detail in the lecture:
Carsten Lutz