Modal logic
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.
This course is open to
Exchange students at the Department of Philosophy, Linguistics and Theory of Science and exchange students on a university-wide agreement. Please contact your international coordinator at the University of Gothenburg if you need to know more.
Entry 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.
Application
Do you want to apply for exchange studies at the University of Gothenburg?