Open Course Space

Modal Logic

Massachusetts Institute of TechnologyUnited States24.244
Free, no sign-up neededSpring 2015English
Go to course on MIT OpenCourseWare

Modal logic is the logic of necessity and possibility, and by extension of analogously paired notions like validity and consistency, obligation and permission, the known and the not-ruled-out. This a first course in the area. A solid background in first-order logic is essential. Topics to be covered include (some or all of) the main systems of propositional modal logic, Kripkean “possible world” semantics, strict implication, contingent identity, intensional objects, counterpart theory, the…

Description from MIT OpenCourseWare.

Where to take this course