Skip to main content

Logic Research Group

Research group
Pågående forskning
Project owner
Department of Philosohy, Linguistics and Theory of Science

Short description

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.

The Logic Group
Some of the members of the Logic Group
Photo: Monica Havström