04-00-0170-vu Modal Logics

Lehrende: Prof. Dr. rer. nat. Martin Otto; Marius Fabian Tritschler

Veranstaltungsart: Vorlesung und Übung

Orga-Einheit: FB04 Mathematik

Anzeige im Stundenplan: Modal Logics

Fach:

Anrechenbar für:

Semesterwochenstunden: 3

Unterrichtssprache: Englisch

Min. | Max. Teilnehmerzahl: - | -

Digitale Lehre:
Hochgeladenes Video mit Sprechstunde

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, Prozesslogiken, µ-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:
empfohlen: Introduction to Mathematical Logic
Alternativ für Studierende der Informatik: Aussagenlogik und Prädikatenlogik

Online-Angebote:
moodle