Error occured ! We are notified and will try and resolve this as soon as possible.
WARNING! [2] file_put_contents(/home/myedu/domains/myeducationpath.com/app/../html/cache/memory/course_3111_0_e086762d743c0218beb85ea6e1b456cae.txt): Failed to open stream: No such file or directory . Line 75 in file /home/myedu/domains/myeducationpath.com/html/include/class.cache.php. Continue execution. 1937470; index.php; 18.218.234.83; GET; url=courses/3111/modal-logic.htm&; ; Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com); ; Executon time: 0 MyEducationPath.com :: MIT OpenCourseWare (OCW) : Modal Logic

Modal Logic

14 votes
Free
Modal Logic

Modal logic is the logic of necessity and possibility, and by extension of analogously paired notions like validity and consistency, obligation and permission, the known and the not-ruled-out. This a first course in the area. A solid background in first-order logic is essential. Topics to be covered include (some or all of) the main systems of propositional modal logic, Kripkean "possible world" semantics, strict implication, contingent identity, intensional objects, counterpart theory, the logic of actuality, and deontic and / or epistemic logic. The emphasis will be more on technical methods and results than philosophical applications.

Tags: InforInformation controlInformation TheoryK12Nutrition
Details: http://ocw.mit.edu/courses/l...-244-modal-logic-spring-2015
Categories: Philosophy, Religion, & Theology
Starts : 2015-02-01

Comments

Reviews



-- no reviews yet -- make the first review
Add review [?] Discuss on the Forum

Alternatives
All alternatives to all MIT OpenCourseWare (OCW) courses

-- no alternatives found for the course --
If you know any alternatives, please let us know.

Add alternative course [?]

Prerequisites

-- no prerequsites found for the course --
If you can suggest any prerequisite, please let us know.

Add prerequisite [?]

Paths

No Paths inclusing the course. You can build and share a path with this course included.

Certification Exams

-- there are no exams to get certification after this course --
If your company does certification for those who completed this course then register your company as certification vendor and add your exams to the Exams Directory.

Add My Exams

Students

People who learned this course or plan to learn. These people added the course to their Education Passport or their Personal Education Path.

Marica Odagaki

If you learned this course or plan to learn then add it to your Personal Education Path or your Education Passport

Similar courses

Courses related to the course subject

Advanced Phonology
14 0 0

…
Details:http://ocw.mit.edu...nology-spring-2005

Advanced Semantics
18 0 0

…
Details:http://ocw.mit.edu...antics-spring-2009

Advanced Syntax
16 0 0

…
Details:http://ocw.mit.edu...syntax-spring-2007

Ancient Philosophy
9 0 0

…
Details:http://ocw.mit.edu...ilosophy-fall-2004

Argument Structure and Syntax
14 0 0

…
Details:http://ocw.mit.edu...syntax-spring-2003

Bioethics
7 0 0

…
Details:http://ocw.mit.edu...ethics-spring-2009

Classics of Western Philosophy
12 0 0

…
Details:http://ocw.mit.edu...osophy-spring-2016

Classification, Natural Kinds, and Conceptual Change: Race as a Case Study
12 0 0

…
Details:http://ocw.mit.edu...-study-spring-2004

Decisions, Games, and Rational Choice
9 0 0

…
Details:http://ocw.mit.edu...choice-spring-2008

Ethics
17 0 0

…
Details:http://ocw.mit.edu...1-ethics-fall-2009

Let us know when you did the course Modal Logic.

Started on: Completed on:
Your grade (if any):
Comments:

Add the course Modal Logic to My Personal Education Path.

Start the course on:
Duration of study:
Notes:

Successfully added to your path.

View your path

Select what exam to connect to the course. The course will be displayed on the exam page in the list of courses supported for certification with the exam.


Notes about how the exam certifies students of the course (optional):