Modules / Lectures

Module Name | Download | Description | Download Size |
---|---|---|---|

Week 1 - What is Logic? | Assignment_1_Answers | Assignment_1_Answers | 80 kb |

Week 1 - What is Logic? | MoocAssignment1 | MoocAssignment1 | 34 kb |

Week 2 - Origin of Modal Logic:Syntactical tradition of Modal Logic | Assignment_2_Answers | Assignment_2_Answers | 80 kb |

Week 2 - Origin of Modal Logic:Syntactical tradition of Modal Logic | MoocAssignment2 | MoocAssignment2 | 30 kb |

Week 3 - Basic notions of Proof Theory, properties of Proof theoretic notions | Assignment_3_Answers | Assignment_3_Answers | 84 kb |

Week 3 - Basic notions of Proof Theory, properties of Proof theoretic notions | MoocAssignment3 | MoocAssignment3 | 35 kb |

Week 4 -Semantics of Normal Modal Logic | Assignment_4_Answers | Assignment_4_Answers | 85 kb |

Week 4 -Semantics of Normal Modal Logic | MoocAssignment4 | MoocAssignment4 | 36 kb |