Abteilung Grundlagen der Künstlichen Intelligenz
,
Institut für Informatik
,
Universität Freiburg
Modal logics - theory and applications
Wintersemester 2003/2004
Lecturer:
Dr. Jussi Rintanen
,
Stefan Wölfl
[Lecture]
[Exercises]
[Bibliography]
WWW Bibliography
Introduction, General
Modal logic
, Stanford Encyclopedia of Philosophy.