Course syllabus
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å.
Schedule & Introduction
Link to TimeEdit schedule
The introduction to the course will take place on Thursday, November 3rd, 10:15 in J442.
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 Boxes and Diamonds (which is part of the Open Logic Project). Some changes may be made before the course starts, but feel free to have a look at: http://builds.openlogicproject.org/courses/boxes-and-diamonds/
- 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 Prior, 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
A written final examination will take place on Friday 13 January at 09:00. 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.
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 Peter Olsson, peter.olsson.2@gu.se
- 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 |
|---|---|---|