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)

Lecture 23 - Conditional Logic Introduction

Go to the Course Home or watch other lectures:

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