INF5800 – Topics in Logic

Schedule, syllabus and examination date

Choose semester

Course content

This is a research seminar. The themes will vary from semester to semester. Typical themes are proof theory, incompleteness, complexity, modal Logic.

Learning outcome

The students will be taught one or more themes in logic and be able to do research in the field.


Students who are admitted to study programmes at UiO must each semester register which courses and exams they wish to sign up for in Studentweb.

If you are not already enrolled as a student at UiO, please see our information about admission requirements and procedures.


Recommended previous knowledge

INF3170 – Logic (continued)/INF4171 – Logic (continued)


2 hours of lectures and 1 hours of problem sessions per week. The students must hand in and pass mandatory assignments prior to the exam.


Oral exam. The students must pass mandatory assignments prior to the exam.

Grading scale

Grades are awarded on a scale from A to F, where A is the best grade and F is a fail. Read more about the grading system.

Explanations and appeals

Resit an examination

Students who can document a valid reason for absence from the regular examination are offered a postponed examination at the beginning of the next semester.

Re-scheduled examinations are not offered to students who withdraw during, or did not pass the original examination.

Facts about this course






Spring 2013

Spring 2011

Spring 2008

Every second spring semester.


Spring 2013

Spring 2011

Spring 2008

Every second spring semester.

Teaching language

Norwegian (English on request)