NPTEL Video Course : NOC:Basic Concepts of Modal Logic

Lecture 12 - Language of Normal Modal Logic