Learn · NPTEL

Course10910410325 lectures

Basic Concepts of Modal Logic

Prof. AVR Sarma · IIT Kanpur

Start with lecture 1 At NPTEL

Lectures

Week 1 - What is Logic?

  1. What is logic? General Introduction Video
  2. Propositional Logic: Syntax Video
  3. Propositional Logic: Semantics Video
  4. Semantic Tableaux Method for Propositional Logic: General Examples Video
  5. Semantic Tableaux Method: Some Puzzles Video
  6. Semantic Tableaux Method-3: More puzzles Video

Week 2 - Origin of Modal Logic:Syntactical tradition of Modal Logic

  1. Limitations of Classical Logic Video
  2. Origin of Modal Logic: Historical Survey Video
  3. Origin of Modal Logic: Strict Implication Video
  4. Strict Implication Video
  5. Strict Implication: Examples Video
  6. Language of Normal Modal Logic Video

Week 3 - Basic notions of Proof Theory, properties of Proof theoretic notions

  1. Language of Modal Logic, Modal Sentences- 1 Video
  2. Language of Modal Logic 2: Syntax Video
  3. Axiomatic Modal Logic: Some Proofs Video
  4. Semantics of Modal Logic: Relational Structures Video
  5. Kripke semantics for Modal Logic systems Video
  6. Kripke semantics for Modal Logic: Some Examples Video

Week 4 -Semantics of Normal Modal Logic

  1. Kripke Semantics for Modal Logic : Examples Video
  2. Semantic Tableaux method I Video
  3. Semantic Tableaux method II Video
  4. Possible worlds and Modal realism Video
  5. Conditional logic introduction Video
  6. Conditional logic C Video
  7. Conditional logics: C, C+, S, C1, C2 & conclusion Video

Syllabus and materials

At NPTEL, as the course publishes them.

Credits and licence

Institution
IIT Kanpur
Department
Humanities and Social Sciences
Teacher
Prof. AVR Sarma
Level
Undergraduate
Language
English
Subjects
Society and politics
Source
NPTEL
Licence
CC BY-NC-SA, as NPTEL states it. Non-commercial use only. NPTEL's terms
Attribution
NPTEL states: "Distributed under Creative Commons Attribution-ShareAlike / CC BY - NC - SA", beside a BY-NC-SA badge.
Who can watch
NPTEL gives no rating. Invisible Network shows it to Teens profiles and older, judged from what the source says about it. How courses are placed