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

Default error msg

Login

New to Study24x7 ? Join Now
By continuing, you agree to Study24x7 ? Login
googlePlay app_img
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

Free Online Teaching Course For Teachers. Now Onli..

by Study24x7
5.0 (10)

36 Enrollments

Validity Unlimited

Free

SSC CPO Math Test Series

by Study24x7
5.0 (8)

12 Enrollments

Validity Unlimited

49

SSC GD Math Test Series

by Study24x7
5.0 (8)

9 Enrollments

Validity Unlimited

49

SSC MTS Math Test Series

by Study24x7
5.0 (5)

9 Enrollments

Validity Unlimited

Free

NDA English Test Series

by Study24x7
5.0 (9)

10 Enrollments

Validity Unlimited

49

UPSC ESIC UDC English Test Series

by Study24x7
0.0 (0)

0 Enrollments

Validity Unlimited

99

Artificial Intelligence Mock Test Series

by Study24x7
0.0 (0)

0 Enrollments

Validity Unlimited

149

HTML AND CSS Mock Test Series

by Study24x7
0.0 (0)

0 Enrollments

Validity Unlimited

149

ASP.NET Mock Test Series

by Study24x7
0.0 (0)

0 Enrollments

Validity Unlimited

149

Data Science with Python

by Henry Harvin
0.0 (0)

1 Enrollments

Validity Unlimited

15000

Advanced Digital Marketing Course

by Henry Harvin
0.0 (0)

0 Enrollments

Validity Unlimited

19500

Cyber Security Fundamentals Course

by Henry Harvin
0.0 (0)

0 Enrollments

Validity 11 month,23 days

17500

Executive MBA - Financial Markets

by Study24x7
0.0 (0)

6 Enrollments

Validity Unlimited

Free

Barron's IELTS

by Study24x7
5.0 (1)

3 Enrollments

Validity Unlimited

Free

Common Mistakes at Proficiency...and How to Avoid ..

by Study24x7
5.0 (3)

6 Enrollments

Validity Unlimited

Free

PGCM (Post Graduate Certificate in Management) in ..

by PG Courses
5.0 (2)

14 Enrollments

Validity Unlimited

Free

Cyber Security

by Study24x7
5.0 (2)

5 Enrollments

Validity Unlimited

Free

Post Graduation Program in Data Science

by PG Courses
5.0 (1)

11 Enrollments

Validity Unlimited

Free

Let's Crack SSB Interview 2022 - SSBCrack

by Reader (Ebooks)
0.0 (0)

4 Enrollments

Validity Unlimited

Free

Content Writer

by Henry Harvin
0.0 (0)

0 Enrollments

Validity Unlimited

17500

Marketing Analytics with Python

by Henry Harvin
0.0 (0)

0 Enrollments

Validity Unlimited

15000

Power BI

by Henry Harvin
0.0 (0)

0 Enrollments

Validity Unlimited

15000

PMP Certification

by Henry Harvin
0.0 (0)

0 Enrollments

Validity Unlimited

14900

Six Sigma Green Belt

by Henry Harvin
0.0 (0)

0 Enrollments

Validity Unlimited

19500

Lean Six Sigma Black Belt

by Henry Harvin
0.0 (0)

0 Enrollments

Validity Unlimited

31500