Einführung in die Modallogik - Übersicht

Vorlesung: Dr. Stefan Wölfl

Übungen: Dr. Robert Mattmüller

Zeit und Ort

Vorlesung: Montag, 10:15-12:00 Uhr, und Mittwoch, 10:15-11:00 Uhr, jeweils in Seminarraum 101-01-018.
Übungen: Mittwoch, 11:15-12:00 Uhr in Seminarraum 101-01-018.

Sprache

Die Vorlesung wird auf Deutsch gehalten, evtl. gelegentlich mit englischsprachigen Folien.

Inhalt

Die Vorlesung bietet eine eingehende Einführung in die Modallogik und eng verwandte Logiken, wobei sowohl theoretische als auch algorithmische Fragestellungen besprochen und ausgewählte Anwendungen dieser Logiken aufgezeigt werden. Insbesondere werden folgende Themenbereiche behandelt:

Uni- und multi-modale Logiken
Ausdrucksstärke von Modallogiken
Entscheidbarkeit und Komplexität
Tableaux-Verfahren
Epistemische und temporale Logiken
Dynamische Logiken
Beschreibungslogiken

Ziel der Vorlesung ist es, Studierende dazu zu befähigen, aktuelle Forschungsarbeiten auf diesem Gebiet zu verstehen, in den wissenschaftlichen Kontext einzuordnen und an aktuellen Forschungsarbeiten mitzuwirken.

Empfohlene Voraussetzungen

Informatik I
Informatik II
Informatik III
Logik
Künstliche Intelligenz

Literatur

Blackburn, van Benthem, Wolter, Handbook of Modal Logic, Elsevier, 2006.
Baader, Calvenese, McGuinness, Nardi, Patel-Schneider, The Description Logic Handbook: Theory, Implementation and Applications, Cambridge University Press, 2003.