Dieses mal hauptsächlich Übungen.

Hilbert-Beweise, Axiomatisierungen

Beweise in Modallogiken; Stärkere Modallogiken als K.

Erste Sitzung zur Modallogik.

Implikationen und Residuen.

Mehr zur Vagheit. Fuzzy Logiken.

Überblick zu philosophischen Positionen zur Vagheit und dem Sorites Paradox.

Inkonsistenz-adaptive Logiken. Nicht-Monotone Logiken.

Semantische Bäume als Beweismethode in LP.

Eigenschaften von LP. Die Logiken CLuNs und CLuN.