Basic Concepts of Modal Logic (Video) - Study24x7
Social learning Network
Basic Concepts of Modal Logic (Video)
broucher Course Brochure
Basic Concepts of Modal Logic (Video)
by A V Ravishankar Sarma

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 ...

0.0  (0 Ratings) 808 Learner
validy img Validity Unlimited
level All Level
level English
cover Img Preview not available
Program Fee
FREE
About This Course

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 ...

Show more
Course Curriculum
4 Sections | 25 Lecture | 11h 15min total length
Expand all sections
Basic Concepts of Modal Logic (Video)

Week - 1- What is logic?

| 02h 31min total length
  • <?php echo $alt; ?>

    What is logic? General Introduction

    25m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Propositional Logic: Syntax

    15m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Propositional Logic: Semantics

    10m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Semantic Tableaux Method for Propositional Logic: General Examples

    27m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Semantic Tableaux Method: Some Puzzles

    52m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Semantic Tableaux Method-3: More puzzles

    19m <?php echo $alt; ?>
Basic Concepts of Modal Logic (Video)

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

| 02h 31min total length
  • <?php echo $alt; ?>

    Limitations of Classical Logic

    19m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Origin of Modal Logic: Historical Survey

    31m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Origin of Modal Logic: Strict Implication

    26m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Strict Implication

    24m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Strict Implication: Examples

    28m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Language of Normal Modal Logic

    21m <?php echo $alt; ?>
Basic Concepts of Modal Logic (Video)

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

| 02h 44min total length
  • <?php echo $alt; ?>

    Language of Modal Logic, Modal Sentences- 1

    28m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Language of Modal Logic 2: Syntax

    31m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Axiomatic Modal Logic: Some Proofs

    26m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Semantics of Modal Logic: Relational Structures

    24m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Kripke semantics for Modal Logic systems

    28m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Kripke semantics for Modal Logic: Some Examples

    25m <?php echo $alt; ?>
Basic Concepts of Modal Logic (Video)

Week - 4 - Semantics of Normal Modal Logic

| 03h 27min total length
  • <?php echo $alt; ?>

    Kripke Semantics for Modal Logic : Examples

    29m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Semantic Tableaux method I

    31m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Semantic Tableaux method II

    26m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Possible worlds and Modal realism

    31m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Conditional logic introduction

    21m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Conditional logic C

    21m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Conditional logics: C, C , S, C1, C2 & conclusion

    44m <?php echo $alt; ?>
show 1 more sections
More Courses by A V Ravishankar Sarma

Introduction to Logic (Video)

by A V Ravishankar Sarma
0.0 (0)

0 Enrollments

Validity Unlimited

Free