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

Modal logic

Master's level | 7.5 credits | Course code: LOG130

The course is not given as a stand-alone course this academic year, but can be included in the program/course package. For information contact the department.

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


Tuition Fee

Please contact the department.
EU/EEA citizens, Swedish residence permit holders and exchange students do not pay fees. More information on:

Study Guidance

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


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

Page Manager: Jörgen Ölund
Last update: 2/18/2020 2:41 PM

Tell a friend about this page
Print version

Page Manager: Jörgen Ölund|Last update: 10/16/2018

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?