NPTEL Video Course : NOC:Basic Concepts of Modal Logic

Lecture 6 - Semantic Tableaux Method-3: More puzzles