NPTEL Video Course : NOC:Basic Concepts of Modal Logic

Lecture 21 - Semantic Tableaux method - II