Department: MATEMATICA APLICADA

Center: E.T.S.I. DE INFORMÁTICA

Universidad: University of Málaga

Area: Applied Mathematics

Email: ejmunoz@uma.es

Doctor by the Universidad de Málaga with the thesis Semántica funcional para lógicas temporales x modales Definibilidad y teoremas de completitud 2003. Supervised by Dr. Inmaculada Pérez de Guzmán Molina, Dr. Alfredo Burrieza Muñiz.