UvA homepage UvA homepage
Search results

Master's in Logic

Full-time and part-time - Day-time class
Educational institute
Graduate School of Informatics
Credits
120
Duration
Two Years
Instruction language
English
Information
dr. U. Endriss
Science Park 904
+31 20 5256511
The programme Schedule
MSc Logic, track Logic & Mathematics - MSc Logic, track Logic & Language - MSc Logic, track Logic & Computation - MSc Logic, track Logic & Philosophy - MSc Logic - Elective courses (for all four tracks)

Schedule

MSc Logic, track Logic & Mathematics

Semester 1 
    Proof Theory (6 EC)
Semester 2
    Model Theory (6 EC)

Students who did not have a mathematical introduction to modal logic in their undergraduate education will need to take Inleiding modale logica (Introduction to Modal Logic) (6 EC) as an elective course. Students who did not have an introduction to axiomatic set theory in their undergraduate education will need to take  Axiomatische verzamelingentheorie (Axiomatic Set Theory) (6 EC) as an elective course.