InfoCoBuild

Basic Concepts of Modal Logic

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)

What is Logic?


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

Related Links
Basic Concepts of Modal Logic
Instructor: Prof. A. V. Ravishankar Sarma, Department of Humanities and Social Sciences, IIT Kanpur. This course will define several varieties of normal modal logic systems, providing both their semantics and their axiomatic proof systems.