Vorlesung „Modal Logic“

Lehrveranstaltung mit SWS 2/2/0 (Vorlesung/Übung/Praktikum) im WS 2026

Dozent

Jakob Piribauer

Umfang (SWS)

2/2/0

Sprache

auf Englisch

Module

INF-25-Ma-FTK-MoL

Information

Die Lehrveranstaltung wird auf Englisch gehalten. Daher ist die folgende Beschreibung ebenfalls auf Englisch.

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.

Literatur

Die Vorlesung folgt dem Buch „Modal logic (Fourth printing with corrections)“ (P. Blackburn, M. de Rijke, Y. Venema; Modal logic (Fourth printing with corrections); Cambridge University Press; 2010). Dieses ist online über die SLUB verfügbar.

Anmeldung

Für die Teilnahme ist eine Registrierung via Opal bis zum 2. November erforderlich.

Voraussetzungen

Es werden Grundkenntnisse in Algorithmen, Komplexitätstheorie, Automatentheorie und Logik vorausgesetzt.

Termine

Vorlesung: Dienstag, 13:00–14:30, APB E005
Übung: Mittwoch, 13:00–14:30, APB E005

Die erste Vorlesung findet am 13. Oktober statt. Gelegentlich werden Übungen für Dienstag oder Vorlesungen für Mittwoch angesetzt. Diese Änderungen werden rechtzeitig bekanntgegeben.

Prüfungsleistung

Master Computer Science (PO 2025)

INF-25-Ma-FTK-MoL: 25-minütige mündliche Prüfung

Diplom Informatik (PO 2025)

INF-25-Ma-FTK-MoL: 25-minütige mündliche Prüfung

Gemäß Modulbeschreibung besteht die Modulprüfung aus einer nicht öffentlichen mündlichen Einzelprüfung von 25 Minuten Dauer. Die möglichen Prüfungstermine werden gegen Ende des Semesters in der Vorlesung bekannt gegeben. Um Ihren individuellen Prüfungstermin zu vereinbaren, kontaktieren Sie bitte die Sekretärin des Lehrstuhls, Andrea Kühn, per E-Mail.

Kontakt

Bei organisatorischen Fragen wenden Sie sich bitte an Jakob Piribauer.