NOC:Basic Concepts of Modal Logic


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