NPTEL : NOC:Basic Concepts of Modal Logic (Humanities and Social Sciences)

Co-ordinators : Dr. A.V. Ravishankar Sarma


Lecture 1 - What is logic? General Introduction

Lecture 2 - Propositional Logic : Syntax

Lecture 3 - Propositional Logic : Semantics

Lecture 4 - Semantic Tableaux Method for Propositional Logic: General Examples

Lecture 5 - Semantic Tableaux Method : Some Puzzles

Lecture 6 - Semantic Tableaux Method-3: More puzzles

Lecture 7 - Limitations of Classical Logic

Lecture 8 - Origin of Modal Logic : Historical Survey

Lecture 9 - Origin of Modal Logic : Strict Implication

Lecture 10 - Strict Implication

Lecture 11 - Strict Implication : Examples

Lecture 12 - Language of Normal Modal Logic

Lecture 13 - Language of Modal Logic, Modal Sentences - 1

Lecture 14 - Language of Modal Logic 2 : 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

Lecture 19 - Kripke Semantics for Modal Logic : Examples

Lecture 20 - Semantic Tableaux method - I

Lecture 21 - Semantic Tableaux method - II

Lecture 22 - Possible worlds and Modal realism

Lecture 23 - Conditional logic introduction

Lecture 24 - Conditional logic C

Lecture 25 - Conditional logics: C, C+, S, C1, C2 and conclusion