Los temas a desarrollados están relacionados con diversas versiones algebraicas de cálculos proposicionales temporales, modales y polivalentes. Se realizan investigaciones sobre álgebras de semi-Heyting, álgebras de Hilbert conoperadores de Moisil, álgebras de De Morgan 4-valuadas modales, álgebras de Lukasiewicz-Moisil nxm-valuadas temporales, operadores temporales sobre retículos distributivos, etc. Es un proyecto abierto, en el sentido que permite la incorporación de nuevos temas.
