Modal Logic
Modal Logic
Dr. Jakob Piribauer
SWS: (2/2/0), in English
Description
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.
Registration
Enrolling via OPAL is required until October 13th 2022.
Date and Place
Tuesday, 4th double period: 01.00 - 02.30 pm
Wednesday, 6th double period: 04.40 - 06.10 pm
Lectures will take place mainly on Tuesdays, while exercise classes will take place mainly on Wednesdays. Occasionally, there will be deviations from this assignment to the time slots.
Prerequisites
For the course, basic knowledge on first-order logic and complexity theory as well as elementary mathematical knowledge and skills are presumed.
Literature
The course follows the book "Modal logic (Fourth printing with corrections)", Patrick Blackburn, Maarten de Rijke, Yde Venema; Cambridge University Press, 2010.
This book is available online via the SLUB.
Creditability
Bachelor Informatik
Master Informatik
Diplom Informatik
Master Computational Logic
- MCL-TCSL: Theoretical Computer Science and Logic
Master Computational Modeling and Simulation
- CMS-LM-BAS: Foundations of Logical Modeling