Course syllabus

Jump to today

Welcome to Modal logic, LOG131, 7.5 credits

This course is part of the Master's Programme in Logic as well as available as a free standing course. The course runs in parallel with the second part of the course Logical Theory.

Course content

The course gives a mainly semantically oriented introduction to modern modal propositional logic and relational (Kripke) semantics. It offers both a mathematical foundation and an introduction to some of the many applications within, e.g., philosophy, metamathematics or computer science.

Teachers

The course will be taught by Martin Kaså and Bahareh Afshari

Examiner

Bahareh Afshari

Schedule & Introduction

The introduction to the course will take place on Wednesday 5 November at 10:15 in room J412 at Humanisten Renströmsgatan 6.

Below are links to the schedule in TimeEdit. There are two links - one which require login (your GU account) and one that does not. The link requiring login shows some additional information.

Schedule for LOG131 without login and with login.

The schedule is preliminary until two weeks before the course starts. Please also note that the schedule is a "living document" and could be subject to changes throughout the semester. Make a habit of checking it every once in a while!

 

Registration

When you have registered for the course you will get access to more course information in the Modules section

You can find information regarding registration here. 

Course Syllabus and literature list

You can search for the course code (and other courses) on https://www.gu.se/en/study-gothenburg/study-options/find-syllabus-and-reading-list?hits=25 to find the course syllabi and literature list.

Weekly lecture plans

Please see the Modules page for information about lectures and exercise sessions, including reading assignments and suggested exercises.

Examination

A written final examination will take place on Friday 16 January between 13:30–17:30 in the exam hall at Andra Långgatan 19. More information on the format of this will follow. There may also be some hand-in assignments during the course.

General information about written examinations is available here. Please read this information carefully.

For questions about register for the exam please contact Education administrator Annika Herrström, annika.herrstrom@gu.se 

Learning outcomes

On successful completion of the course the student will be able to:

Knowledge and understanding

  • account for Kripke semantics for modal logic, including correspondence between modal formulas and properties of binary relations,
  • account for basic model theory of modal logic, e.g., connections between bisimulation and modal equivalence,
  • account for some central applications of modal logic, e.g., epistemic logic, provability logic, or dynamic logic,

Competence and skills

  • formulate, and present proofs of, the most important results in the course, including completeness, decidability and correspondence results, as well as of lemmas that are used in the proofs,
  • formalise argumentation that is dependent on non truth-functional sentence
    operators,

Judgement and approach

  • show awareness of the relationships between systems of modal logic and other types
    of logics,
  • contrast an intensional and an extensional approach to modal logic.
See the course syllabus for more information. 

Special pedagogical support

If you have a disability and are in need of special pedagogical support please see the information available at the student portal. 

Contact information

Student information

Learn Canvas

Checklist for new students

Student Portal

Welcome to the department of Philosophy, Linguistics and Theory of Science

Study Environment and Rules

Plagiarism and academic integrity 

Course summary:

Course Summary
Date Details Due