# Basic Concepts of Modal Logic

- Institution: IIT Kanpur
- Department: Humanities and Social Sciences
- Teacher: Prof. AVR Sarma
- Level: Undergraduate
- Language: English
- Subjects: Society and politics
- Source: [NPTEL](https://nptel.ac.in/courses/109104103)
- Licence: [CC BY-NC-SA](https://nptel.ac.in/faq) (Non-commercial use only.)
- Syllabus: [at the source](https://nptel.ac.in/courses/109104103)
- Who can watch: Teens profiles and older (sources give no ratings; placed by Invisible Network from the source's own words)

## Lectures

1. [What is logic? General Introduction](https://invisiblenetwork.ai/learn/nptel/109104103/e68623f64d95) (Video)
2. [Propositional Logic: Syntax](https://invisiblenetwork.ai/learn/nptel/109104103/cc25538efa14) (Video)
3. [Propositional Logic: Semantics](https://invisiblenetwork.ai/learn/nptel/109104103/8ec835177b43) (Video)
4. [Semantic Tableaux Method for Propositional Logic: General Examples](https://invisiblenetwork.ai/learn/nptel/109104103/a3132a22840c) (Video)
5. [Semantic Tableaux Method: Some Puzzles](https://invisiblenetwork.ai/learn/nptel/109104103/a763ea012de1) (Video)
6. [Semantic Tableaux Method-3: More puzzles](https://invisiblenetwork.ai/learn/nptel/109104103/ceeddf8bf6a8) (Video)
7. [Limitations of Classical Logic](https://invisiblenetwork.ai/learn/nptel/109104103/e689889e2a53) (Video)
8. [Origin of Modal Logic: Historical Survey](https://invisiblenetwork.ai/learn/nptel/109104103/5470c9abea2c) (Video)
9. [Origin of Modal Logic: Strict Implication](https://invisiblenetwork.ai/learn/nptel/109104103/424b6da9b42e) (Video)
10. [Strict Implication](https://invisiblenetwork.ai/learn/nptel/109104103/4dee59d5fc41) (Video)
11. [Strict Implication: Examples](https://invisiblenetwork.ai/learn/nptel/109104103/d9877c509804) (Video)
12. [Language of Normal Modal Logic](https://invisiblenetwork.ai/learn/nptel/109104103/4fb62873b2b2) (Video)
13. [Language of Modal Logic, Modal Sentences- 1](https://invisiblenetwork.ai/learn/nptel/109104103/5fb9a0b5e64c) (Video)
14. [Language of Modal Logic 2: Syntax](https://invisiblenetwork.ai/learn/nptel/109104103/59323ff0fcd0) (Video)
15. [Axiomatic Modal Logic: Some Proofs](https://invisiblenetwork.ai/learn/nptel/109104103/89abdd2ae22d) (Video)
16. [Semantics of Modal Logic: Relational Structures](https://invisiblenetwork.ai/learn/nptel/109104103/2443cf5ad3c9) (Video)
17. [Kripke semantics for Modal Logic systems](https://invisiblenetwork.ai/learn/nptel/109104103/8510ab962206) (Video)
18. [Kripke semantics for Modal Logic: Some Examples](https://invisiblenetwork.ai/learn/nptel/109104103/83000b39674d) (Video)
19. [Kripke Semantics for Modal Logic : Examples](https://invisiblenetwork.ai/learn/nptel/109104103/d31aa4fab2ca) (Video)
20. [Semantic Tableaux method I](https://invisiblenetwork.ai/learn/nptel/109104103/d2104a3c31e6) (Video)
21. [Semantic Tableaux method II](https://invisiblenetwork.ai/learn/nptel/109104103/541829781729) (Video)
22. [Possible worlds and Modal realism](https://invisiblenetwork.ai/learn/nptel/109104103/d20a45d19bbc) (Video)
23. [Conditional logic introduction](https://invisiblenetwork.ai/learn/nptel/109104103/ab86c8acacef) (Video)
24. [Conditional logic C](https://invisiblenetwork.ai/learn/nptel/109104103/ee63142120dc) (Video)
25. [Conditional logics: C, C+, S, C1, C2 & conclusion](https://invisiblenetwork.ai/learn/nptel/109104103/a45095c73864) (Video)