NPTEL Video Course : NOC:Basic Concepts of Modal Logic


Lecture 17 - Kripke semantics for Modal Logic systems


            


DIGIMAT Learning Management Platform