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.

Teilnahmevoraussetzungen, notwendige Vorkenntnisse

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

Literaturangaben

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.