Uni-Logo

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.