NPTEL Video Course : NOC:Basic Concepts of Modal Logic

Lecture 5 - Semantic Tableaux Method : Some Puzzles