Lecture “Modal Logic”
Lecture “Modal Logic”
Lehrveranstaltung mit SWS 2/2/0 (Vorlesung/Übung/Praktikum) im WS 2025
Dozent
Umfang (SWS)
- 2/2/0
Sprache
- auf Englisch
Module
Modalities are expressions that quantify the truth of a statement, e.g. ‘possibly’ and ‘necessarily’. Modal logics are simple, yet expressive formalisms that incorporate such modalities. The incorporated modalities offer a wide variety of possible readings such as temporal readings (‘at some point in the future …’), epistemic readings (‘the agent knows that …’) or readings talking about the dynamics of programs (‘there is an execution of program P after which …’). Therefore, modal logics are applicable to various application domains and play an important role in computer science, philosophy, mathematics and linguistics, among others.
This course provides an introduction to the main concepts of modal logic with a focus on its role in computer science. It covers:
- syntax and semantics of modal logics,
- Kripke structures and Kripke frames,
- bisimulations,
- translations to first-order logic,
- frame definability,
- soundness and completeness results,
- complexity and decidability results,
- propositional dynamic logic.
Literature
The course follows the book “Modal logic (Fourth printing with corrections)” (P. Blackburn, M. de Rijke, Y. Venema; Modal logic (Fourth printing with corrections); Cambridge University Press; 2010). This book is available online via the SLUB.
Registration
Registration via Opal is required until November 3.
Prerequisites
For the course, basic knowledge on algorithms, complexity theory, automata theory and logic is presumed.
Dates
- Lecture: Wednesdays, 14:50–16:20, APB E005
- Exercise: Thursdays, 14:50–16:20, APB E006
The first lecture is held on October 15. Occasionally, there might be exercises during the Wednesdays or lectures on Thursdays, which will be announced in advance.
Creditability
Bachelor Informatik (PO 2009)
Master Informatik (PO 2010)
Master Computer Science (PO 2025)
- INF-25-Ma-FTK-ASAI: exam according to module description
Diplom Informatik (PO 2010)
Diplom Informatik (PO 2025)
- INF-25-Ma-FTK-ASAI: exam according to module description
Master Computational Logic
- MCL-TCSL: exam according to module description
Master Computational Modeling and Simulation
- CMS-LM-BAS: oral exam (25 minutes)
Oral Exams
Appointments for the oral examination are to be made via our secretary’s office. Please contact Andrea Kühn via e-mail.
Contact
In case of organisational questions, please contact Jakob Piribauer.
