Logic at the University of Oslo
Traditionally concerned with the principles of valid inference, contemporary logic is a diverse and interdisciplinary field unified by a common core in formal logic.
About the group
Research and teaching in logic at the University of Oslo is mainly carried out at Department of Mathematics, Department of Informatics and Department of Philosophy, Classics, History of Art and Ideas. This research group is a collaboration of researchers from these departments unified by a common core in formal logic.
Topics studied include complexity theory, computability theory, set theory, reverse mathematics, modal logic, the investigation of algorithms, and applications in the foundations of mathematics and formal semantics.
Members
-
-
Laura Crosilla
University of Oslo
-
-
-
-
-
-
-
-
Juvenal Murwanashyaka
University of Oslo
-
-
-
-
Several researchers working on logic at the University of Oslo also belong to the Logic Research Group of the Department of Mathematics.
Logic-related events
Two recurring events are organized by logicians at the University of Oslo:
Course offerings
Advanced courses in mathematical logic, e.g. in set theory and computability theory, may be organized if there are interested students.
Published Feb. 11, 2019 11:04 AM
- Last modified July 29, 2025 9:58 AM
link-language
link-language-offscreen
.jpg)
