NPTEL Video Course : NOC:Basic Concepts of Modal Logic


Lecture 4 - Semantic Tableaux Method for Propositional Logic: General Examples


            


DIGIMAT Learning Management Platform