24.244 Modal Logic, Fall 2009
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 nece...
| Main Author: | |
|---|---|
| Language: | en-US |
| Published: |
2009
|
| Online Access: | http://hdl.handle.net/1721.1/100157 |
| Summary: | 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. |
|---|