24.244 Modal Logic, Fall 2009
Author(s)
Stalnaker, Robert
Download24-244-fall-2009/contents/index.htm (33.10Kb)
Alternative title
Modal Logic
Metadata
Show full item recordAbstract
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.
Date issued
2009-12Other identifiers
24.244-Fall2009
local: 24.244
local: IMSCP-MD5-7b4391fd6e7983891007760f66e95003