Basic Concepts of Modal Logic. Instructor: Prof. A. V. Ravishankar Sarma, Department of Humanities and Social Sciences,

0

Created by
OpenCoursa

September 26, 2023

UK

FREE

This course includes:

Unlimited Duration

Badge on Completion

Certificate of completion

Unlimited Duration

0

(

ratings

)

students

Created by:

Profile Photo

Last updated:

September 26, 2023

Duration:

Unlimited Duration

FREE

This course includes:

Unlimited Duration

Badge on Completion

Certificate of completion

Unlimited Duration

Description

Basic Concepts of Modal Logic. Instructor: Prof. A. V. Ravishankar Sarma, Department of Humanities and Social Sciences,

IIT Kanpur. Modal logic extends classical logic with the ability to express not only 'P is true', but also statements like 'P is known' or 'P is necessarily true'. We will define several varieties of normal modal logic systems (K, T, D,S4, S5), providing both their semantics and their axiomatic proof systems, and prove their standard soundness and completeness theorems. On completion of the course, students are expected to have a good understanding of the technical details of the logic covered, and use it under various contexts including some of philosophical debates surrounding these logics. (from nptel.ac.in)

Course Curriculum

    • Lecture 01 – What is Logic? Unlimited
    • Lecture 02 – Propositional Logic: Syntax Unlimited
    • Lecture 03 – Propositional Logic: Semantics Unlimited
    • Lecture 04 – Semantic Tableaux Method for Propositional Logic: General Examples Unlimited
    • Lecture 05 – Semantic Tableaux Method: Some Puzzles Unlimited
    • Lecture 06 – Semantic Tableaux Method: More Puzzles Unlimited
    • Lecture 07 – Limitations of Classical Logic Unlimited
    • Lecture 08 – Origin of Modal Logic: Historical Survey Unlimited
    • Lecture 09 – Origin of Modal Logic: Strict Implication Unlimited
    • Lecture 10 – Strict Implication Unlimited
    • Lecture 11 – Strict Implication: Examples Unlimited
    • Lecture 12 – Language of Normal Modal Logic Unlimited
    • Lecture 13 – Language of Modal Logic, Modal Sentences Unlimited
    • Lecture 14 – Language of Modal Logic: Syntax Unlimited
    • Lecture 15 – Axiomatic Modal Logic: Some Proofs Unlimited
    • Lecture 16 – Semantics of Modal Logic: Relational Structures Unlimited
    • Lecture 17 – Kripke Semantics for Modal Logic Systems Unlimited
    • Lecture 18 – Kripke Semantics for Modal Logic: Some Examples Unlimited
    • Lecture 19 – Kripke Semantics for Modal Logic: Examples Unlimited
    • Lecture 20 – Semantic Tableaux Method Unlimited
    • Lecture 21 – Semantic Tableaux Method (cont.) Unlimited
    • Lecture 22 – Possible Worlds and Modal Realism Unlimited
    • Lecture 23 – Conditional Logic Introduction Unlimited
    • Lecture 24 – Conditional Logic C Unlimited
    • Lecture 25 – Conditional Logic: C, C+, S, C1 and C2 Unlimited

About the instructor

5 5

Instructor Rating

6

Reviews

4637

Courses

24151

Students

Profile Photo
OpenCoursa
We are an educational and skills marketplace to accommodate the needs of skills enhancement and free equal education across the globe to the millions. We are bringing courses and trainings every single day for our users. We welcome everyone woth all ages, all background to learn. There is so much available to learn and deliver to the people.