Modal Logic

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.)


MIT Course Number


As Taught In

Fall 2009



Cite This Course

Course Features

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.

Stalnaker, Robert. 24.244 Modal Logic, Fall 2009. (MIT OpenCourseWare: Massachusetts Institute of Technology), (Accessed). License: Creative Commons BY-NC-SA

For more information about using these materials and the Creative Commons license, see our Terms of Use.