NPTEL Video Course : NOC:Basic Concepts of Modal Logic

Lecture 15 - Axiomatic Modal Logic : Some Proofs