Uni-Logo

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.