1 semester

Computability and Complexity

Mathematical Logic (C)

Modal Logic (C)

Non-Classical Logics Seminar 1

Set Theory (C)

2 semester

Applications of Finite Automata

Applied Modal Logics

Computability Theory (C)

Consistency and Independence in Set Theory

Finite Model Theory

Lambda Calculus and Proof Theory

Logics for Space and Time-Region-based Approach

Model Theory

Non-Classical Logics Seminar 2

Topics in Computability

3 semester

Computability Theory Seminar

Descriptive Set Theory

Games, Logics and Models

Thesis project (C)
Master Thesis