2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/137296This article surveys some of the recent work in verification of temporal epistemic logic via symbolic model checking, focusing on OBDD-based and SAT-based approaches for epistemic logics built on discrete and real-time branching time temporal logics.23 pagesLogic in Computer Sciencetext