| Module Name | Download |
|---|---|
| Assignment_1_Answers | Assignment_1_Answers |
| Assignment_2_Answers | Assignment_2_Answers |
| Assignment_3_Answers | Assignment_3_Answers |
| Assignment_4_Answers | Assignment_4_Answers |
| MoocAssignment1 | MoocAssignment1 |
| MoocAssignment2 | MoocAssignment2 |
| MoocAssignment3 | MoocAssignment3 |
| MoocAssignment4 | MoocAssignment4 |
| Sl.No | Chapter Name | MP4 Download |
|---|---|---|
| 1 | What is logic? General Introduction | Download |
| 2 | Propositional Logic: Syntax | Download |
| 3 | Propositional Logic: Semantics | Download |
| 4 | Semantic Tableaux Method for Propositional Logic: General Examples | Download |
| 5 | Semantic Tableaux Method: Some Puzzles | Download |
| 6 | Semantic Tableaux Method-3: More puzzles | Download |
| 7 | Limitations of Classical Logic | Download |
| 8 | Origin of Modal Logic: Historical Survey | Download |
| 9 | Origin of Modal Logic: Strict Implication | Download |
| 10 | Strict Implication | Download |
| 11 | Strict Implication: Examples | Download |
| 12 | Language of Normal Modal Logic | Download |
| 13 | Language of Modal Logic, Modal Sentences- 1 | Download |
| 14 | Language of Modal Logic 2: Syntax | Download |
| 15 | Axiomatic Modal Logic: Some Proofs | Download |
| 16 | Semantics of Modal Logic: Relational Structures | Download |
| 17 | Kripke semantics for Modal Logic systems | Download |
| 18 | Kripke semantics for Modal Logic: Some Examples | Download |
| 19 | Kripke Semantics for Modal Logic : Examples | Download |
| 20 | Semantic Tableaux method I | Download |
| 21 | Semantic Tableaux method II | Download |
| 22 | Possible worlds and Modal realism | Download |
| 23 | Conditional logic introduction | Download |
| 24 | Conditional logic C | Download |
| 25 | Conditional logics: C, C+, S, C1, C2 & conclusion | Download |
| Sl.No | Chapter Name | English |
|---|---|---|
| 1 | What is logic? General Introduction | Download Verified |
| 2 | Propositional Logic: Syntax | Download Verified |
| 3 | Propositional Logic: Semantics | Download Verified |
| 4 | Semantic Tableaux Method for Propositional Logic: General Examples | Download Verified |
| 5 | Semantic Tableaux Method: Some Puzzles | Download Verified |
| 6 | Semantic Tableaux Method-3: More puzzles | Download Verified |
| 7 | Limitations of Classical Logic | Download Verified |
| 8 | Origin of Modal Logic: Historical Survey | Download Verified |
| 9 | Origin of Modal Logic: Strict Implication | Download Verified |
| 10 | Strict Implication | Download Verified |
| 11 | Strict Implication: Examples | Download Verified |
| 12 | Language of Normal Modal Logic | Download Verified |
| 13 | Language of Modal Logic, Modal Sentences- 1 | Download Verified |
| 14 | Language of Modal Logic 2: Syntax | Download Verified |
| 15 | Axiomatic Modal Logic: Some Proofs | Download Verified |
| 16 | Semantics of Modal Logic: Relational Structures | Download Verified |
| 17 | Kripke semantics for Modal Logic systems | Download Verified |
| 18 | Kripke semantics for Modal Logic: Some Examples | Download Verified |
| 19 | Kripke Semantics for Modal Logic : Examples | Download Verified |
| 20 | Semantic Tableaux method I | Download Verified |
| 21 | Semantic Tableaux method II | Download Verified |
| 22 | Possible worlds and Modal realism | Download Verified |
| 23 | Conditional logic introduction | Download Verified |
| 24 | Conditional logic C | Download Verified |
| 25 | Conditional logics: C, C+, S, C1, C2 & conclusion | Download Verified |
| Sl.No | Language | Book link |
|---|---|---|
| 1 | English | Download |
| 2 | Bengali | Not Available |
| 3 | Gujarati | Not Available |
| 4 | Hindi | Not Available |
| 5 | Kannada | Not Available |
| 6 | Malayalam | Not Available |
| 7 | Marathi | Not Available |
| 8 | Tamil | Not Available |
| 9 | Telugu | Not Available |