Areas:"Linguistics and Philosophy"
Categories
1 results found in 21 ms.

Page 1 of 1

Modal Logic

Open CourseWare
|
Published by: Massachusetts Institute of Technology | Language: English
Share in: Share this resource in Facebook Share this resource in Twitter Share this resource in LinkedInd Share this resource in Google+ Share this resource in Pinterest Share this resource in Blogger Share this resource in Tumblr

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
Author(s):
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