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.