Vorlesung von Christian Damböck, gehalten im Wintersemester 2013.

Inhalte: In dieser Lehrveranstaltung soll ein Überblick vermittelt werden, über die unterschiedlichen klassischen und nicht-klassischen Systeme der formalen Logik, wobei der Schwerpunkt auf der Herausarbeitung einfacher formaler Grundkonzepte sowie deren philosophischer Interpretation liegt; verzichtet wird dagegen auf Theorembeweise.

Website zur LV: http://homepage.univie.ac.at/christian.damboeck/vo12-13/index.html

---

Die Aufnahme der 10. Vorlesung am 4.12.2012 ist leider fehlgeschlagen.

Die Themen waren hauptsächlich:

normale Modallogiken:

* Zeitlogik

* epistemische Logik

---

Bild zum Podcast: Abbildung 4.1 aus dem Skriptum: Einige normale Modallogiken.