NOC:Basic Concepts of Modal Logic (DVD)

Special Price ₹200.00 Regular Price ₹250.00
In stock
SKU
109104103



Media Storage Type : DVD-ROM

NPTEL Subject Matter Expert : Dr. A.V. Ravishankar Sarma

NPTEL Co-ordinating Institute : IIT Kanpur

NPTEL Lecture Count : 25

NPTEL Course Size : 2.1 GB

NPTEL PDF Text Transcription : Available and Included

NPTEL Subtitle Transcription : Available and Included (SRT)


Lecture Titles:

Lecture 1 - What is logic? General Introduction
Lecture 2 - Propositional Logic : Syntax
Lecture 3 - Propositional Logic : Semantics
Lecture 4 - Semantic Tableaux Method for Propositional Logic: General Examples
Lecture 5 - Semantic Tableaux Method : Some Puzzles
Lecture 6 - Semantic Tableaux Method-3: More puzzles
Lecture 7 - Limitations of Classical Logic
Lecture 8 - Origin of Modal Logic : Historical Survey
Lecture 9 - Origin of Modal Logic : Strict Implication
Lecture 10 - Strict Implication
Lecture 11 - Strict Implication : Examples
Lecture 12 - Language of Normal Modal Logic
Lecture 13 - Language of Modal Logic, Modal Sentences - 1
Lecture 14 - Language of Modal Logic 2 : Syntax
Lecture 15 - Axiomatic Modal Logic : Some Proofs
Lecture 16 - Semantics of Modal Logic : Relational Structures
Lecture 17 - Kripke semantics for Modal Logic systems
Lecture 18 - Kripke semantics for Modal Logic : Some Examples
Lecture 19 - Kripke Semantics for Modal Logic : Examples
Lecture 20 - Semantic Tableaux method - I
Lecture 21 - Semantic Tableaux method - II
Lecture 22 - Possible worlds and Modal realism
Lecture 23 - Conditional logic introduction
Lecture 24 - Conditional logic C
Lecture 25 - Conditional logics: C, C+, S, C1, C2 and conclusion

Write Your Own Review
You're reviewing:NOC:Basic Concepts of Modal Logic (DVD)
Copyright © 2019 LinuXpert Systems, Chennai. All rights reserved.