For best experience please turn on javascript and use a modern browser!
uva.nl

Study programme

Logic (MSc)

All students are required to participate in the course ‘Logic, Language and Computation', which  provides an introduction to research areas that are being pursued at the ILLC. Depending on their background, students can choose between four tracks:

  1. Logic and Mathematics; Courses offered in the track Logic and Mathematics focus on the mathematics of modal logic, mathematical analysis of games and set and model theory.
  2. Logic and Computation; The Logic and Computation track focuses on games in computer science, complexity theory and algorithms.
  3. Logic and Philosophy; courses in the track Logic and Philosophy focus on the philosophy of language and cognitive science.
  4. Logic and Language; Logic and Language track offers courses that focus on formal models for natural language semantics and computational linguistics.

You can thus expand on the original field of your Bachelor's programme while simultaneously working toward common goals and shared interests with students from a wide variety of backgrounds.

Mentor

Each student is assigned a member of the academic staff as a mentor. Mentors help students design individual curricula according to their specific strengths, educational needs and interests.

Research-based thesis

During the second semester of the second year of the programme, each student writes a research-based thesis under the close supervision of an ILLC staff member. Upon successful completion, the thesis will be published in the ILLC Publication series.

ILLC Publications

Detailed curriculum and course information

For detailed information regarding courses, please see the UvA Course Catalogue
For detailed information about the curriculum, please see the website of the ILLC

UvA Course Catalogue

Detailed curriculum information (ILLC)

Bring your own device

All students enrolled in Logic are requested to bring their own laptop, due to the nature of the programme. More information on specific system requirements can be found here.