Skip to main content
Breadcrumb

Modal logic

Course
LOG131
Master’s level
7,5 credits (ECTS)
Study pace
50%
Time
Day
Location
Göteborg
Study form
Campus
Language
English
Duration
-
Application open
-
Application code
GU-12478
Tuition
Full education cost: 17 000 SEK
First payment: 17 000 SEK

No fees are charged for EU and EEA citizens, Swedish residence permit holders and exchange students.

More information about tuition fees

Application opens 15 March 2021

About

The course gives a mainly semantically oriented introduction to modern modal propositional logic and Kripke semantics. It offers both a solid mathematical basis and an introduction to some of the many applications within, e.g., philosophy, metamathematics and computer science. The course is mainly theoretically oriented, but also contains practical exercises.

Prerequisites and selection

Requirements

Admission to the course requires successful completion of at least 60 credits in total in the subject areas mathematics, logic, computer science or formal linguistics, or at least 90 credits in philosophy or linguistics, and at least 30 credits in total in the subject areas mathematics, logic, computer science or formal linguistics, or equivalent knowledge.

Selection

Selection is based upon the number of credits from previous university studies, maximum 225 credits.

For admission to the summer 2021 and onward the following selection applies: selection is based upon the number of credits from previous university studies, maximum 165 credits.