Lectures Held on a Regular Basis

Please click here to find the lectures that are held on a regular basis. This information can be used to create a study plan. However, this information is tentative, i.e. always check the lectures of the current and next semester to keep the study plan up to date.

Lectures of the Current Semester

Module details on 'Modal Logics - Modal Logics'

CategoryTheoretical Foundations
LecturerProf. Dr. Dix, Jürgen (Clausthal)
Module Exam ID1040
Weekly Composition3L+1E
Required Hours of Work (presence / self-study)125 (42 / 83)
Semesterperiodically, according to student demand and staff specialisms
Teaching Methods
Module Description
Module Outcomes
Recommended Literature
ExamWritten or oral exam, graded (Written (120 min) / Oral (25 min))

Available Course Modes

In the following document you can get an overview about the available course modes that are offered in the ITIS Master's program: Course Modes