04-00-0170-vu Modal Logics

Lehrende: Prof. Dr. rer. nat. Martin Otto; M.Sc. Felix Canavoi

Veranstaltungsart: Vorlesung und Übung

Orga-Einheit: FB04 Mathematik

Anzeige im Stundenplan: Modallogiken

Fach:

Anrechenbar für:

Semesterwochenstunden: 3

Unterrichtssprache: Englisch

Min. | Max. Teilnehmerzahl: - | -

Lehrinhalte:
Kripke Semantik für Modallogiken; Bisimulation: Spiele und Ausdruckstärke;
Modallogik als Fragment der Logik erster Stufe; klassische Korrespondenztheorie;
Endliche Modelltheorie der Modallogik; relevante Erweiterungen der
Modallogik (z.B. temporale Logiken, Programm-Logiken, µ-Kalkül, guarded
logics)

Literatur:
Blackburn, de Rijke, Venema: Modal Logic

Goranko, Otto: Model Theory of Modal Logics, in: Handbook of Modal

Logic, Blackburn, van Benthem, Wolter (eds)

Voraussetzungen:
Introduction to Mathematical Logic; für Studierende der Informatik: Formale
Grundlagen der Informatik II

Online-Angebote:
moodle