250119 VO Modallogik (2011S)

Einführung in die grundlegendsten modallogischen Systeme (zunächst aussagenlogisch, später prädikatenlogisch) S1, S2, S3, S4 (sowohl in voller wie auch in abgeschwächter Form), S5, T, D, B und verwandte Systeme; globale Behandlung des Bereichs zwischen S4 und S5; Vergleich unterschiedlicher Sprachbasen und Axiomatiken. Beweistheoretische und modelltheoretische Aspekte werden gleichermaßen berücksichtigt (Matrizenbewertung, mehrere Versionen von Abhängigkeiten von Axiomen und Regeln, Ausdrucksfähigkeit, algebraische und Kripke-Modelle sowie der Zusammenhang zwischen ihnen, Vollständigkeitssätze, Entscheidbarkeit und Entscheidungsverfahren, Erweiterung der Verfahren auf nicht-normale Theorien).