Logic Research Group

The Logic Group uses formal tools to tackle questions from philosophy, mathematics, computer science and linguistics. Broad interests in the foundations of mathematics and modal logic are represented. In particular, there is expertise on the proof and model theory of arithmetic, set theory and theories of truth, as well as on type theory, mu-calculus and dependence logic.

The Logic Group organises the annual Lindström Lecture series and a biweekly research seminar with talks from national and international speakers.
The Logic Group is responsible for the Master’s Programme in Logic.