Modal logic

About this programme

No fees are charged for EU and EEA citizens, Swedish residence permit holders and exchange students. 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. How can we formally capture concepts like possibility, necessity, or knowledge? This course introduces you to modern modal logic, a powerful framework with applications in philosophy, mathematics, and computer science. You will study Kripke semantics, key results such as completeness and decidability, and explore how logical systems can model reasoning about knowledge, proof, and computation. The course combines a strong theoretical foundation with practical problem-solving. - 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, Selection is based upon the number of credits from previous university studies, maximum 165 credits. The Faculty of Humanities is located in the Humanisten building at Renströmsgatan 6. The Department of Philosophy, Linguistics and Theory of Science has its premises on the 5th floor. Both the Faculty of Humanities and the adjacent Humanities Library offer several stud