Om gruppen
Forskning og undervisning i logikk ved Universitetet i Oslo finner hovedsakelig sted ved Matematisk Institutt, Institutt for informatikk, og Institutt for filosofi, ide- og kunsthistorie og klassiske språk. Forskningsgruppen er et samarbeid mellom forskere fra disse instituttene, som alle har en felles interesse for formell logikk.
Temaer vi studerer er kompleksitetsteori, beregnbarhetsteori, mengdelære, revers matematikk, modallogikk, algoritmer, og anvendelser i matematikkens og semantikkens grunnlag.
For mer informasjon, se vår engelske nettside.