Modal Logic for Computer Scientists

No lecture on Tuesday, June 6th!

A course by Lutz Schröder and Till Mossakowski at the Universität Bremen 2005/2006.

03-05-H-604.51
Category V
Prerequisites: content of 600.01, 600.02, 601.01, 601.02, 604.02
ECTS: 6
Monday 13:00 - 15:00 MZH 1380 (kleiner Senatssaal),
Tuesday 15:00 - 17:00 MZH 1380

Modal logic extends the familiar logical operators with so-called modal operators that express that a formula holds in a certain way, e.g. 'necessarily', 'possibly', 'probably', 'as agent X knows/believes', 'forever', 'somewhere' etc. Although originated largely in philosophy, modal logics play an increasing role in computer science e.g. as logics of time, space, computation, knowledge, obligation, or permission, appearing in such diverse fields as KI, verification of parallel programs, and ontology languages for the semantic web. This course will deal with foundations and applications of modal logic, following the book

Patrick Blackburn, Maarten de Rijke and Yde Venema, Modal Logic, Cambridge University Press, 2001.

• Sally Popkorn, First Steps in Modal Logic, Cambridge University Press, 1994
• B. Chellas, Modal Logic, Cambridge University Press, 1980

Course material

• Slides on Kripke semantics
• Slides on modal deduction
• Problem sheet 1 (Typo corrected!)
• Problem sheet 2
• Problem sheet 3 (deadline extended: Tue, 25 July, 13h)
• Daniel Rippel's Notes (no warranty)
• Form for evaluation of the lecture (in German)