Einführung in die Modallogik - Übersicht
Lecture: Dr. Stefan Wölfl
Exercises: Fabian Wenzelmann and Stefan Wölfl
Time / Location
Lecture: Monday 12:15 - 14:00 and Wednesday 12:15 - 13:00 in Bld. 101 SR 00-010/014.
Exercises: Wednesday 13:00 - 14:00 in Bld. 101 SR 00-010/014.
Language
The lecture and exercises will be given in English. Exercises can be submitted in English or German.
Contents
The term “modal logics” comprises a family of logics, which are used in quite different fields in computer science (such as knowledge representation and reasoning, multi-agent systems, and formal verification). The lecture provides an in-depth introduction into standard techniques used in modal logics and provides an overview of closely related logics as well as their application. In particular, we will study the following topics:
- Uni- and multi-modal logics
- Expressiveness and computational complexity
- Tableaux-based decision procedures
- Epistemic logics
- Temporal and dynamic logics
- Description logics
The aim of this lecture is to give students a basic understanding of key concepts and standard techniques used in modal logics. After the course students should be able to implement and evaluate such techniques. Moreover students should then be able to understand current research papers and to start qualifying projects or theses on topics related to the lecture.
Prerequisites
The lecture is primarily for Master students. Knowledge of propositional logic and basic concepts from theoretical computer science (NP-completeness, polynomial reductions) are expected. Basic knowledge of search methods is helpful.Exam
Written or oral.Exercises and Exam Admission Prerequisites
For admission to the exam students must attain 50% of all points reachable in the assignments and projects.
Literature
- Blackburn, van Benthem, Wolter, Handbook of Modal Logic, Elsevier, 2006.
- Baader, Calvenese, McGuinness, Nardi, Patel-Schneider, The Description Logic Handbook: Theory, Implementation and Applications, Cambridge University Press, 2003.