Course syllabus
Welcome to Modal logic, LOG130, 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å. You can contact Martin by email, martin.kasa@gu.se.
Schedule & Introduction
The course starts in the second reading period of the autumn semester, on Nov 6th, 1.15pm in room T346. Schedule in TimeEdit.
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.
Literature
- As main textbook, we will use (selected parts of) Modal Logic for Open Minds by Johan van Benthem, ISBN: 9781575865980 (more information about the book here.
- There are several entries in the Stanford Encyclopedia of Philosophy that are worth a read, e.g., Modal logic, Modern origins of modal logic, Arthur Prio, Epistemic Logic, Intensional logic, Intuitionistic logic, Temporal logic.
- You are encouraged to play around with the Modal Logic Playground.
- Some more supporting reading material may be added during the course.
Weekly lecture plans
Please see the Modules page for information about lectures and exercise sessions, including reading assignments and suggested exercises.
Examination
There will be one sit down written examination, Tuesday Jan 14th, 8:00–12:00, at Folkets Hus, Järntorget. Information about written examinations is available here. Please read this information carefully.
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.
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
- Course coordinator Martin Kaså, martin.kasa@gu.se answers questions about the course content, literature and schedule.
- Education administrator Linda Aronsson, linda.aronsson@gu.se answers questions about registration, examination administration, study interruptions, study breaks, certificates, etc.
- Program Coordinator Fredrik Engström, fredrik.engstrom@gu.se is responsible for programme issues and study guidance for students of the programme.
- Student counselor Peter Johnsen, peter.johnsen@gu.se, is responsible for study guidance of the free-standing course.
Student information
Welcome to the department of Philosophy, Linguistics and Theory of Science
Course summary:
| Date | Details | Due |
|---|---|---|