Abteilung Grundlagen der Künstlichen Intelligenz, Institut für Informatik, Universität Freiburg

Spezialvorlesung/Modallogiken - Theorie und Anwendungen

Wintersemester 2003/2004

Dr. Jussi Rintanen und Dr. Stefan Wölfl

[Überblick] [Vorlesung] [Übungen] [Wichtige Begriffe]

Vorlesungsskript

• Kapitel 2 und 3, (Vorversion): PDF, ca. 140 Seiten

Vorlesungsbegleitendes Material

• Theorembeweiser für Modallogiken

woelfl@informatik.uni-freiburg.de, 20. Oktober 2003