Modal Logic CS 621 Seminar Group no.: 10 Kiran Sawant (114057001) Joe Cheri Ross (114050001) Sudha Bhingardive (114050002) Modes of Truth Propositional logic is decidable…