División de Programas de Lógica Epistémica