NPTEL Video Course : NOC:Basic Concepts of Modal Logic

Lecture 9 - Origin of Modal Logic : Strict Implication