This is an archived course. A more recent version may be available at ocw.mit.edu.

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

Instructor(s)

MIT Course Number

24.244

As Taught In

Fall 2009

Level

Undergraduate

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.

Other OCW Versions

OCW has published multiple versions of this subject. Question_OVT logo

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


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


Close