Modal Logic (Summer 2025)

Held by Lutz Schröder

Lecture Slots

Mon 14-16 and Tue, 16-18, H4

Exercise Sheets

• Will be published successively in the course of the lecture

Material and Content

• Check the course description
• An inofficial script is available: summer term 2025 (english; updated April 28, 2025)  summer term 2017 (german).
• Beyond this, the course is largely based on the standard textbook by Blackburn et al. (see below), which is available electronically at the university library.
• The lecture is suitable as elective course for the secondary subject ‚computer science‘ in various degree courses, in particular mathematics.

Literature

• Patrick Blackburn, Maarten de Rijke and Yde Venema, Modal Logic, 554 pages, Cambridge University Press, 2001.
• Sally Popkorn, First Steps in Modal Logic, 314 pages, Cambridge University Press, 1994.
• Alexander Chagrov and Michael Zakharyashev, Modal Logic, 605 pages, Oxford University Press, 1997.