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 in mathematics, informatics and philosophy. 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.

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.

    Tags: Logic
    Published Feb. 11, 2019 10:04 AM - Last modified Feb. 21, 2019 1:21 PM