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)

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
More Courses by A V Ravishankar Sarma

Introduction to Logic (Video)

by A V Ravishankar Sarma
0.0 (0)

0 Enrollments

Validity Unlimited

Free