MIT OpenCourseWare
Modal Logic
Art: Raphael, Italian: Scuola di AteneThe School of Athenstitle…, 1509 · Public domain
- Instructor
- Prof. Stephen Yablo
- Term
- Spring 2015
- Level
- Undergraduate
- What's inside
- 1 lecture note · 1 reading · 26 other files · 2 web pages
- Materials open
- MIT OCW
About this course
Source: MIT OpenCourseWare 24.244 Modal Logic, Spring 2015, Prof. Stephen Yablo — original course page on ocw.mit.edu ↗. License: CC BY-NC-SA 4.0. Study order: none is claimed; materials are grouped by MIT's own sections. Taken from MIT's published course files, downloaded from ocw.mit.edu on September 23, 2026. How RedLectern is built.
Materials are grouped the way MIT organized them. A verified, course-wide order has not been established here.
Before you start
Prerequisites are not listed here. Check MIT's own syllabus for this course.
How this course was organized
What's here, and what isn't
- MIT lists a session calendar for this course, but it could not be verified well enough to build a sequence from it — materials are grouped by section instead.
Not included here
3 items from the source could not be safely included:
- MIT's page format for this item wasn't recognized clearly enough to place it safely. (2 items)
- Referenced in a table, but without MIT's own verified order, so it isn't used to claim a sequence.
Materials by section
Grouped by section, as MIT organized them. Not sequenced or ordered.
Lecture Notes
16 files
- 24.244s15 Adequacy and Extensions Download
- 24.244s15 Basic Modal Systems Download
- 24.244s15 Contingent Identity Download
- 24.244s15 Counterfactuals, Neighborhood Semantics, Probability, Predicative Necessity, etc Download
- 24.244s15 Existence and Identity Download
- 24.244s15 Identity and Descriptions Download
- 24.244s15 Intensional Objects Download
- 24.244s15 Modal Logic—Preliminaries Download
- 24.244s15 Modal Metalogic Completeness Download
- 24.244s15 Modal Predicate Logic Download
- 24.244s15 Modal Predicate Metalogic Download
- 24.244s15 Modal Syntax and Semantics Download
- 24.244s15 Sets, Actuality, Counterparts Download
- 24.244s15 Shifting Domains Download
- 24.244s15 Stronger Systems Download
- 24.244s15 Testing Decidable & Undecidable Systems Download
Assignments
10 files
- 24.244s15 Homework 1 Download
- 24.244s15 Homework 2 Download
- 24.244s15 Homework 3 Download
- 24.244s15 Homework 4 Download
- 24.244s15 Homework 5 Download
- 24.244s15 Homework 6 Download
- 24.244s15 Homework 7 Download
- 24.244s15 Homework 8 Download
- 24.244s15 Modal Logic Paper Guidelines Download
- 24.244s15 Take Home Final Guidelines Download
MIT OpenCourseWare, Prof. Stephen Yablo, 24.244 Modal Logic, Spring 2015.
License: CC BY-NC-SA 4.0 · Edition: Spring 2015 · Open the original course on OCW ↗
Organized by RedLectern, independent of MIT and not endorsed by MIT.
Per-resource rights are recorded on each resource; All-Rights-Reserved items are link-only, never mirrored.
