Modal logic - University of Gothenburg Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Modal logic

Master's level | 7.5 credits | Course code: LOG131
Autumn 2020
50% Day
Göteborg
Period: 3 November 2020 - 17 January 2021
INSTRUCTION LANGUAGE: English
2) Only EU/EEA citizens and students with approved residence permit in Sweden can apply

About the Course

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.

Course Syllabus

LOG131

Requirements 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.

Tuition Fee

Application fee: 900 SEK
Full course cost: 16 750 SEK
First payment: 16 750 SEK

EU/EEA citizens, Swedish residence permit holders and exchange students do not pay fees. More information on: http://www.universityadmissions.se

Study Guidance

Peter Johnsen
Contact form
031 - 786 5213
Renströmsgatan 6

Department

Department of Philosophy, Linguistics, Theory of Science
Box 200
40530 Göteborg
Visiting address: Renströmsgatan 6

Page Manager: Pontus Sundén
Last update: 2/18/2020 2:41 PM

Tell a friend about this page
Print version

Page Manager: Pontus Sundén|Last update: 10/16/2018
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?