Learn · Basic Concepts of Modal Logic

Lecture 17 of 25Week 3 - Basic notions of Proof Theory, properties of Proof theoretic notions

Kripke semantics for Modal Logic systems

Prof. AVR Sarma · IIT Kanpur

Credits and licence

From
Basic Concepts of Modal Logic, IIT Kanpur (at NPTEL)
Licence
CC BY-NC-SA, as NPTEL states it. Non-commercial use only.
Attribution
NPTEL states: "Distributed under Creative Commons Attribution-ShareAlike / CC BY - NC - SA", beside a BY-NC-SA badge.
Who can watch
Teens profiles and older. How courses are placed

All the lectures

  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
  7. Limitations of Classical Logic Video
  8. Origin of Modal Logic: Historical Survey Video
  9. Origin of Modal Logic: Strict Implication Video
  10. Strict Implication Video
  11. Strict Implication: Examples Video
  12. Language of Normal Modal Logic Video
  13. Language of Modal Logic, Modal Sentences- 1 Video
  14. Language of Modal Logic 2: Syntax Video
  15. Axiomatic Modal Logic: Some Proofs Video
  16. Semantics of Modal Logic: Relational Structures Video
  17. Kripke semantics for Modal Logic systems Video
  18. Kripke semantics for Modal Logic: Some Examples Video
  19. Kripke Semantics for Modal Logic : Examples Video
  20. Semantic Tableaux method I Video
  21. Semantic Tableaux method II Video
  22. Possible worlds and Modal realism Video
  23. Conditional logic introduction Video
  24. Conditional logic C Video
  25. Conditional logics: C, C+, S, C1, C2 & conclusion Video