Basic Concepts of Modal Logic. Instructor: Prof. A. V. Ravishankar Sarma, Department of Humanities and Social Sciences,
694 years, 4 months
25
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 Currilcum
-
- 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
