-
Course Details
Lecturer: Prof. Dr. Arne Meier
Frequency: Every two years (even years) in the summer semester
Course type: Lecture and exercise (2V + 1Ü + 2S, 7 ECTS)
Examination: Oral exam
-
Course Contents
This module provides in-depth knowledge of complexity issues in logical calculi. Upon successful completion of the course, students will be able to assess logical calculi regarding complexity questions. They can analyze logical characterizations of complexity classes and develop classifications related to the lattice of Boolean functions.
Outline:
- Modal Logic
- Frames
- Properties of Frames
- Ladner’s Algorithm
- Post’s Lattice
- Classification of the Modal Satisfiability Problem
- Temporal Logic
- Satisfiability and Model Checking
- Description Logics
- Hybrid Logics
- Constraint Satisfaction Problems
- Schaefers Framework
-
Information about exam
The final examination of the module is an oral exam.
Schedule
The exam dates are assigned via an internal institute website (see link below). Note: This does not replace registration for the exam in QIS.
Registration
Depending on your examination regulations, registration in QIS may be required (see link below).
Coursework Requirement
If your examination regulations require coursework for this module, please contact the lecturer.
Logic and Complexity
Last Change: 21.05.25
