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...
| Autor principal: | |
|---|---|
| Altres autors: | |
| Format: | Learning Object |
| Idioma: | en-US |
| Publicat: |
2009
|
| Accés en línia: | http://hdl.handle.net/1721.1/100157 |
| _version_ | 1826211982035910656 |
|---|---|
| author | Stalnaker, Robert |
| author2 | Massachusetts Institute of Technology. Department of Linguistics and Philosophy |
| author_facet | Massachusetts Institute of Technology. Department of Linguistics and Philosophy Stalnaker, Robert |
| author_sort | Stalnaker, Robert |
| collection | MIT |
| description | 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. |
| first_indexed | 2024-09-23T15:14:28Z |
| format | Learning Object |
| id | mit-1721.1/100157 |
| institution | Massachusetts Institute of Technology |
| language | en-US |
| last_indexed | 2025-03-10T12:57:43Z |
| publishDate | 2009 |
| record_format | dspace |
| spelling | mit-1721.1/1001572025-02-24T15:16:53Z 24.244 Modal Logic, Fall 2009 Modal Logic Stalnaker, Robert Massachusetts Institute of Technology. Department of Linguistics and Philosophy 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. 2009-12 Learning Object 24.244-Fall2009 local: 24.244 local: IMSCP-MD5-7b4391fd6e7983891007760f66e95003 http://hdl.handle.net/1721.1/100157 en-US Usage Restrictions: This site (c) Massachusetts Institute of Technology 2015. Content within individual courses is (c) by the individual authors unless otherwise noted. The Massachusetts Institute of Technology is providing this Work (as defined below) under the terms of this Creative Commons public license ("CCPL" or "license") unless otherwise noted. The Work is protected by copyright and/or other applicable law. Any use of the work other than as authorized under this license is prohibited. By exercising any of the rights to the Work provided here, You (as defined below) accept and agree to be bound by the terms of this license. The Licensor, the Massachusetts Institute of Technology, grants You the rights contained here in consideration of Your acceptance of such terms and conditions. Usage Restrictions: Attribution-NonCommercial-ShareAlike 3.0 Unported http://creativecommons.org/licenses/by-nc-sa/3.0/ text/html Fall 2009 |
| spellingShingle | Stalnaker, Robert 24.244 Modal Logic, Fall 2009 |
| title | 24.244 Modal Logic, Fall 2009 |
| title_full | 24.244 Modal Logic, Fall 2009 |
| title_fullStr | 24.244 Modal Logic, Fall 2009 |
| title_full_unstemmed | 24.244 Modal Logic, Fall 2009 |
| title_short | 24.244 Modal Logic, Fall 2009 |
| title_sort | 24 244 modal logic fall 2009 |
| url | http://hdl.handle.net/1721.1/100157 |
| work_keys_str_mv | AT stalnakerrobert 24244modallogicfall2009 AT stalnakerrobert modallogic |