Basic Concepts of Modal Logic (Video) - Study24x7
Social learning Network

Welcome Back

Get a free Account today !

or

Forgot password?

By Registering, you agree to our Privacy Policy and Terms of use.

Basic Concepts of Modal Logic (Video)

1 Learner

Basic Concepts of Modal Logic (Video)

Validity Unlimited Basic Concepts of Modal Logic (Video) All Level Basic Concepts of Modal Logic (Video) English

0.0 (0)
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 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.

  • Basic Concepts of Modal Logic (Video) Total 4 Modules
  • Basic Concepts of Modal Logic (Video) 25 Videos
  • Basic Concepts of Modal Logic (Video) Downloadable on mobile
  • Basic Concepts of Modal Logic (Video) Published on 26 June, 2019

Course Curriculum

Week - 1- What is logic?

Basic Concepts of Modal Logic (Video)
  • <?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; ?>

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

Basic Concepts of Modal Logic (Video)
  • <?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; ?>

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

Basic Concepts of Modal Logic (Video)
  • <?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; ?>

Week - 4 - Semantics of Normal Modal Logic

Basic Concepts of Modal Logic (Video)
  • <?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; ?>

Similar Courses

Introduction to redis

by Tech Geeks
4.0 (2)

4 Enrollments

Validity Unlimited

10

RRB NTPC Mock Test 2019

by Learn N Share - Get latest updates on education
5.0 (1)

4 Enrollments

Validity Unlimited

21

C++ Programming Online Mock Test Free

by Just Asking - Lets check your knowledge
4.5 (2)

65 Enrollments

Validity Unlimited

Free

Free Core Java Online Practice Test

by Learn N Share - Get latest updates on education
5.0 (2)

42 Enrollments

Validity Unlimited

Free

C Online Practice Test

by Learn N Share - Get latest updates on education
5.0 (1)

5 Enrollments

Validity Unlimited

Free

JDBC ONLINE PRACTICE TEST

by Learn N Share - Get latest updates on education
0.0 (0)

2 Enrollments

Validity Unlimited

Free

PHP Online Practice Test

by Learn N Share - Get latest updates on education
5.0 (1)

21 Enrollments

Validity Unlimited

Free

C# Online Practice Test

by Learn N Share - Get latest updates on education
0.0 (0)

1 Enrollments

Validity Unlimited

Free

ASP.Net Online Practice Test

by Learn N Share - Get latest updates on education
0.0 (0)

14 Enrollments

Validity Unlimited

Free

HTML Online Practice Test

by Learn N Share - Get latest updates on education
0.0 (0)

17 Enrollments

Validity Unlimited

Free

JavaScript & jQuery Online Practice Test

by Learn N Share - Get latest updates on education
0.0 (0)

7 Enrollments

Validity Unlimited

Free

Everything needs for Exam (Aptitude)

by General Science and History
4.5 (11)

316 Enrollments

Validity Unlimited

10

Mathematics for class Xth (CBSE )

by Mathematics Class 10th
4.5 (6)

72 Enrollments

Validity Unlimited

Free

Introductory Course of English for SSC CGL, Bank P..

by Vivishka Learning and Test Series
5.0 (4)

52 Enrollments

Validity Unlimited

Free

Talent Enhancement skill Test - Class 1th

by Talent In You
3.0 (1)

4 Enrollments

Validity Unlimited

Free

Talent Enhancement Skill Test - Class 2th

by Talent In You
5.0 (1)

1 Enrollments

Validity Unlimited

Free

Talent Enhancement Skill Test - Class 3th

by Talent In You
5.0 (1)

1 Enrollments

Validity Unlimited

Free

Talent Enhancement Skill Test - Class 4th

by Talent In You
0.0 (0)

1 Enrollments

Validity Unlimited

Free

Talent Enhancement Skill Test- Class 5th

by Talent In You
5.0 (1)

2 Enrollments

Validity Unlimited

Free

Talent Enhancement Skill Test -Class 6th

by Talent In You
0.0 (0)

4 Enrollments

Validity Unlimited

Free

Talent Enhancement Skill Test -Class 7th

by Talent In You
0.0 (0)

2 Enrollments

Validity Unlimited

Free

Talent Enhancement Skill Test -Class 8th

by Talent In You
5.0 (1)

9 Enrollments

Validity Unlimited

Free

Talent Enhancement Skill Test- Class 9th

by Talent In You
5.0 (1)

5 Enrollments

Validity Unlimited

Free

Talent Enhancement Skill Test -Class 10th

by Talent In You
5.0 (2)

9 Enrollments

Validity Unlimited

Free

CTET Online Free Mock Test

by Learn N Share - Get latest updates on education
5.0 (1)

21 Enrollments

Validity Unlimited

Free