04-00-0170

Modal Logics

FB04 Mathematics · Offered in WiSe 2026/27

No grade data reported for this course yet.

Grade distributions arrive when a student who took the course opens their Notenspiegel with the TUPlan extension installed.

Install the extension

Was this course worth it?

No ratings yet — be the first.

Your vote is stored against a random id in this browser. No account, nothing that identifies you.

Weekly sessions · WiSe 2026/27

Wed11:40–13:20S215/51 · Vorlesung und Übung
Thu11:40–13:20S103/25 · Exercise

Parts

04-00-0170-vuLecture with exercise3 contact h/week

Language: Englisch
Taught by: Prof. Dr. rer. nat. Martin Otto

Course content

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)

Exam dates

No exam date published.

Add to planner

Times, rooms and details come from TUCaN and may be out of date. Report something wrong