Modal Logic

As taught in: Fall 2009

A design using the Qualified Converse Barcan Formula as its subject.

The qualified converse Barcan formula, an axiom of quantified modal logic. See "Completeness for quantified modal logic" in the lecture notes for more information. (Image by MIT OpenCourseWare.)

Instructors:

Prof. Robert Stalnaker

MIT Course Number:

24.244

Level:

Undergraduate

Course Features

Lecture notes
Assignments and solutions
Exams and solutions

Course Description

This course covers sentential and quantified modal logic, with emphasis on the model theory ("possible worlds semantics"). Topics include soundness, completeness, characterization results for alternative systems, sense and dynamic logics, epistemic logics, as well as logics of necessity and possibility. Course material applies to philosophy, theoretical computer science, and linguistics.