This course is discontinued

INF9170 – Master seminar in logic

Schedule, syllabus and examination date

Choose semester

Course content

The master seminar in logic covers topics in logic and automated theorem proving. The topics will differ from semester to semester dependent on participants and interest. Modal and non-classical logics are central.

Learning outcome

The participants should gain a better understanding of one or more topics within the field and get training in presenting theoretical material.


PhD candidates from the University of Oslo should apply for classes and register for examinations through Studentweb.

If a course has limited intake capacity, priority will be given to PhD candidates who follow an individual education plan where this particular course is included. Some national researchers’ schools may have specific rules for ranking applicants for courses with limited intake capacity.

PhD candidates who have been admitted to another higher education institution must apply for a position as a visiting student within a given deadline.


Recommended previous knowledge

Overlapping courses

5 credits overlap with INF5170 – Master seminar in logic (discontinued)


The participants presents literature, research and own work. Each participant contributes with presentations.


80% participation. In addition, each PhD student is expected to give an oral presentation on a topic of relevance (chosen in cooperation with the lecturer). The presentation has to be approved by the lecturer for the student to be admitted to the final exam.


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.


Note that the first lecture is mandatory.

Facts about this course






Spring and autumn

This course will not be given spring 2016


Spring and autumn

Teaching language

Norwegian (English on request)