Título: KE tableaux para lógicas intuicionistas modales
Directores: Alejandro Solares Rojas y Ricardo O. Rodriguez
Jurados: Edwin Pin y Lourdes del Carmen González Huesca.

Resumen:
El sistema KE es una variante de los tableaux analíticos para lógica clásica proposicional. El mismo ha sido extendido recientemente como cálculo para la lógica intuicionista proposicional. En esta tesis vamos incorporar operadores modales y se dará cuenta de demostradores de teoremas eficientes para distintas lógicas modales.