24.244 Modal Logic, Fall 2009
Name
24-244-fall-2009/contents/index.htm
Size
33.1 KB
Format
HTML
Checksum (MD5)
fba75349ef8dd1039e9a4ae9c36ddf0e
Author(s)
Stalnaker, Robert
Alternative Title
Modal Logic
Date Issued
December 2009
Abstract
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.
MIT Department
Massachusetts Institute of Technology. Department of Linguistics and Philosophy
Terms of Use
Persistent DSpace Link
