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

Spezialvorlesung/Modallogiken - Theorie und Anwendungen

Wintersemester 2003/2004

Lecturers: Dr. Jussi Rintanen, Dr. Stefan Wölfl

[Lectures] [Exercises] [Bibliography]

Time and Location

Lectures

Wednesday from 2:15pm to 4pm and Friday from 2:00pm to 3pm in lecture hall SR 00-010/14 in building 101

Exercises

Friday 3pm to 4pm in lecture hall SR 00-010/14 in building 101

Exam

On Friday the 20th of February starting at 2:00pm until 4:00pm. In the same room where lectures were held (SR 00-010/14 in building 101.)

Results of the exam and the exercises are published here. You will need a password, which you can obtain by email from Stefan.

Prerequisites

Basic knowledge in the classical propositional logic

Contents

Modal logics: temporal logics, dynamic logics