Categories
1 results found in 21 ms.
Page 1 of 1
File: MIT24_244F09_lec17.pdf
This OER is part of OCW: Modal Logic
Published under: /Lecture notes
Share in:
OCW Authors:
Inherited Tag(s):
Similar courses
-
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
-
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
-
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
1 results found.
Page 1 of 1