Search Colleges, Exams, Schools & more
Login
Basic Concepts of Modal Logic
Online
4 Weeks
Free Quick Facts
| Medium Of Instructions | Mode Of Learning | Mode Of Delivery |
|---|---|---|
| English | Self Study | Video and Text Based |
Courses and Certificate Fees
| Certificate Availability | Certificate Providing Authority |
|---|---|
| yes | IIT Kanpur |
The Syllabus
- What is logic? General Introduction
- Propositional Logic: Syntax
- Propositional Logic: Semantics
- Semantic Tableaux Method for Propositional Logic: General Examples
- Semantic Tableaux Method: Some Puzzles
- Semantic Tableaux Method-3: More puzzles
- Limitations of Classical Logic
- Origin of Modal Logic: Historical Survey
- Origin of Modal Logic: Strict Implication
- Strict Implication
- Strict Implication: Examples
- Language of Normal Modal Logic
- Language of Modal Logic, Modal Sentences- 1
- Language of Modal Logic 2: Syntax
- Axiomatic Modal Logic: Some Proofs
- Semantics of Modal Logic: Relational Structures
- Kripke semantics for Modal Logic systems
- Kripke semantics for Modal Logic: Some Examples
- Kripke Semantics for Modal Logic : Examples
- Semantic Tableaux method I
- Semantic Tableaux method II
- Possible worlds and Modal realism
- Conditional logic introduction
- Conditional logic C
- Conditional logics: C, C+, S, C1, C2 & conclusion
Instructors
Articles
31 Aug'25, 03:44 PM
17 Jun'25, 10:59 AM
28 Feb'24, 08:51 AM
28 Feb'24, 07:16 AM
31 Aug'25, 03:44 PM
17 Jun'25, 10:59 AM
28 Feb'24, 08:51 AM
28 Feb'24, 07:16 AM