University of Calgary
UofC Navigation

Modal Logic (Phil 579.2/679.5)

Official outlines at the end of this page.

Contents

Course Description

Modal logic is an extension of ordinary, "classical" logic which allows formalizations (for instance) of phrases such as "it is possible that" and "it is necessary that" (the alethic modalities). Modal logics have important applications in philosophy, but also in linguistics and computer science. The course will provide an introduction to the basics of modal logics, especially their semantics, and will also cover various specific systems and their applications - the particular choice of topics will depend on the interests of the class. We will cover the alethic modalities, and also study logics of belief and knowledge, of time, of obligation, combinations thereof (e.g., dynamic epistemic logic), as well as related topics such as logics of counterfactual conditionals and intuitionistic logic.

Prerequisites

Phil 279 (Logic I) is a prerequisite for this course.

Recommended Texts

We will use the following book as a guide:

The following are useful references:

Course Requirements

Three homework assignments (60%, 20% each) and a final paper (30%) are required to pass the course.  There will be no exams. You will give a short presentation on the topic of your final project in the last week of; this presentation will make up 5% of your grade. The remaining 5% will be based on participation in discussion in-class and on the course website.

The final project  will consist in either a worked out presentation of an advanced topic (e.g., a proof of a theorem in the metatheory of modal logic, a survey article on some application of modal logic in computer science, logic, or linguistics), or a philosophical paper on a topic related to modal logic.  A technical project should run about 7-10 pages; a more philosophical paper 10-15 pages.  You will give a short presentation on your project/paper (10-20 minutes, depending on class size) in the last week of class. Technical projects may be completed in groups of up to
3 students. If done in a team, the paper should be 10-15 pages long, and the presentation 20-30 minutes shared between team members.

Assignments and Policies

Late work and extensions

Assignments handed in late will be penalized by the equivalent of one grade point per calendar day.

Collaboration

Collaboration on exercises is encouraged. However, you must write up your own solutions, and obviously you must not simply copy someone else’s solutions. You are also required to list the names of the students with whom you’ve collaborated on the assignment.

Requirements for Graduate Students

Graduate students registered in Phil 679.5 will be expected to complete all the above requirements. Graduate students will be expected to choose more advanced final project topics. Graduate student papers should run 15–20 pages. Collaboration on final projects is allowed, but every graduate student must submit a distinct, self-contained paper, and give a self-contained presentation.

Topics

  1. Introduction. Modal languages.  Possible worlds.  Sets and relations. Basics of relational semantics
  2. Frames and  models.  The forcing relation. Validity and consequence.  Proving formulas valid, constructing counterexamples.
  3. Basic model theory: Bisimulations. Generated submodels. Unraveling.
  4. Axiom systems for normal modal logics. Deductions. Soundness.
  5. Canonical models and completeness.
  6. Finite model property and decidability
  7. Proof systems for modal logics
  8. Translations and frame correspondence
  9. First-order modal logic.
  10. Applications, covering some of:
    • Doxastic and epistemic logic (logics of belief and knowledge)
    • Dynamic logic (logics of actions and change)
    • Logics of time
    • Conditional logics
    • Intuitionistic logic

Official Outlines