Basic Concepts of Modal Logic (Video) - Study24x7

Default error msg

New to Study24x7 ?
By continuing, you agree to Study24x7 ?

3 followers

1 Learner

Basic Concepts of Modal Logic (Video)

Validity Unlimited All Level English

0.0 (0)
Free

Modal logic extends classical logic with the ability to express not only ‘P is true’, but also statements like ‘P is known’ or ‘P is necessarily true’. We will define several varieties of normal modal logic systems (K, T, D,S4, S5), providing both their semantics and their axiomatic proof systems, and prove their standard soundness and completeness theorems. On completion of the course, students are expected to have a good understanding of the technical details of the logic covered, and use it under various contexts including some of philosophical debates surrounding these logics.

• Total 4 Modules
• 25 Videos
• Published on 26 June, 2019

Week - 1- What is logic?

• What is logic? General Introduction

25m
• Propositional Logic: Syntax

15m
• Propositional Logic: Semantics

10m
• Semantic Tableaux Method for Propositional Logic: General Examples

27m
• Semantic Tableaux Method: Some Puzzles

52m
• Semantic Tableaux Method-3: More puzzles

19m

Week - 2 - Origin of Modal logic : Syntactical traditions of Modal logic

• Limitations of Classical Logic

19m
• Origin of Modal Logic: Historical Survey

31m
• Origin of Modal Logic: Strict Implication

26m
• Strict Implication

24m
• Strict Implication: Examples

28m
• Language of Normal Modal Logic

21m

Week - 3 - Basic notion of proof theory, properties of proof theoretic notions

• Language of Modal Logic, Modal Sentences- 1

28m
• Language of Modal Logic 2: Syntax

31m
• Axiomatic Modal Logic: Some Proofs

26m
• Semantics of Modal Logic: Relational Structures

24m
• Kripke semantics for Modal Logic systems

28m
• Kripke semantics for Modal Logic: Some Examples

25m

Week - 4 - Semantics of Normal Modal Logic

• Kripke Semantics for Modal Logic : Examples

29m
• Semantic Tableaux method I

31m
• Semantic Tableaux method II

26m
• Possible worlds and Modal realism

31m
• Conditional logic introduction

21m
• Conditional logic C

21m
• Conditional logics: C, C , S, C1, C2 & conclusion

44m

5.0 (10)

5.0 (8)

5.0 (8)

5.0 (5)

5.0 (9)

0.0 (0)

0.0 (0)

0.0 (0)

0.0 (0)

0.0 (0)

0.0 (0)

0.0 (0)

0.0 (0)

5.0 (1)

5.0 (3)

5.0 (2)

5.0 (2)

5.0 (1)

0.0 (0)

0.0 (0)

0.0 (0)

0.0 (0)

0.0 (0)

0.0 (0)

0.0 (0)