239697 Grundfragen der Modallogik (S) (SoSe 2013)

Modallogik (Seminar, 2 WoSt)

In dieser Veranstaltung sollen nach ein historischen Einführung
zunächst die Grundlagen der Modallogik besprochen werden, vorrangig
Syntax und Semantik (Kripke-Rahmen). Desweiteren werden wir die
Beziehung zwischen Semantik und der von ihr definierten Logik
thematisiert. Anschließend wollen wir ein paar Anwendungen betrachten.
Je nach Zeit und Interesse können dies sein: Zeitlogik, strikte Implikation,
intuitionistische Logik, topologische Logik, multimodale Logik,
modale Prädikatenlogik.

Requirements for participation, required level

Kenntnisse in elementarer Aussagenlogik sind notwendig, Kenntnisse in
Prädikatenlogik hiflreich. Der erfolgreiche Besuch von Formale Methdoen 2
sollte dafür ausreichend sein.

Bibliography

Chagrov, Alexander und Zakharyaschev, Michael: Modal Logic. Oxford.
1997.
Kracht, Marcus: Tools and Techniques in Modal Logic. Amsterdam. 1997.
Rautenberg, Wolfgang: Klassische und nichtklassische Aussagenlogik.
Wiesbaden. 1979.