Institutslogo 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.