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 closed, late application opens 16 July 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.

The course is given by the Department of Philosophy, Linguistics and Theory of Science. Link to the webpage.

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 165 credits.