Forskargruppen i logik

Logikgruppen använder formella metoder för att besvara frågor från matematik, filosofi, datavetenskap och lingvistik. Gruppens intresseområden spänner bl a över matematikens fundament och modallogik. I synnerhet finns det expertis inom bevis- och modellteori för aritmetik, mängdlära och sanningsteori, samt inom typteori, mu-kalkyl och beroendelogik.

Logikgruppen organiserar den årliga Lindström-föreläsningen och har ett högre seminarium varannan vecka där lokala och internationella forskare presenterar sina resultat.