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.
Some slides used in the lecture are available here:
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.