Modal logic

Education facts

Code: LOG131

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.

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. English 6 or equivalent is also required.

Education offerings

Each offering has its own dates and conditions. Closed offerings are retained as history and do not mean that a new application is open.

• Modal logic

  University of Gothenburg

  Start date: 4 November 2026

  End date: 17 January 2027

  Pace of study: 50 %