Tesis doctoral

  1. Modelos generales de la logica de segundo orden 1978

    Universitat de Barcelona

Tesis dirigidas (6)

  1. Una traducción de la teoría de tipos proposicional híbrida ecuacional (EHPTT) hacia la lógica multivariada de primer orden (MSL) 2023

    Universidad de Salamanca

    González López, José Javier

  2. The germanic development of the pre-modern notion of number. From c. 1750 to Bolzano’s "Rein analytischer Beweis" 2017

    Universidad de Salamanca

    Fuentes Guillén, Elías

  3. Intensions, types and existence 2017

    Universidad de Salamanca

    Moreno Gómez, Manuel Crescencio

  4. Capacidades de los sistemas lógicos formales: El caso de algunos sistemas lógicos clásicos y de lógica libre 2015

    Universidad de Salamanca

    Hernández Deciderio, Gabriela

  5. Non classical systems for uncertain reasoning: non monotonic logics with non classical bases 2006

    Universidad de Salamanca

    Marchioni, Enrico

  6. Modal logic (of predicates) and (partial and heterogeneous) non-classical logic 1994

    Universitat de Barcelona

    Huertas Sánchez, María Antonia

Tesis tutorizadas (1)

  1. Una historia y caracterización conceptual del concepto de metaargumento 2022

    Universidad de Salamanca

    Roldán Corrales, Jaime

Tribunales de tesis (14)

  1. Presidenta del tribunal

    Nociones de completud en Husserl y Carnap 2020

    Universidad Autónoma de Madrid

    Aranda Utrero, Víctor

  2. Presidenta del tribunal

    Logical systems: on the concept, expressive power and expressiveness characterizations 2017

    Universidad de Salamanca

    Pinheiro Fernandes, Diego

  3. Presidenta del tribunal

    Hacia una concepción generalizada de la abducción, su modelización en lógicas no clásicas y su implementación en herramientas informáticas 2016

    Universidad de Sevilla

    Sarrión Morillo, Enrique

  4. Vocal del tribunal

    Estudio, implementación y evaluación de un tutor inteligente para el aprendizaje de lógica computacional basado en modelos y apoyado en conocimiento 2011

    Universidad de Valladolid

    Maestro Prieto, José A.

  5. Vocal del tribunal

    Relación emergente en la obtención de conclusiones: validez - coherencia 2006

    Universitat Autònoma de Barcelona

    Cruz Mavil, Miguel Ángel

  6. Vocal del tribunal

    Modelos formales de explicación en lógica e inteligencia artificial 2005

    Universidad de Sevilla

    Soler Toscano, Fernando

  7. Secretaria del tribunal

    Reflection in general logics and in rewriting logic with applications to the maude languaje 1998

    Universidad de Navarra

    García Clavel, Manuel

  8. Secretaria del tribunal

    La imagen del conocimiento en el ámbito de los sistemas expertos y la inteligencia artificial 1993

    Universitat de Barcelona

    Aibar Puentes, Eduard

  9. Vocal del tribunal

    Estudio del lema de interpolación en el contexto de diversos lenguajes formales 1991

    Universidad Autónoma de Madrid

    Corredor Lanas, Cristina

  10. Vocal del tribunal

    Una lógica no estándar admisible para programas funcionales 1990

    Universidad Complutense de Madrid

    Gil Luezas, Ana

  11. Vocal del tribunal

    Lógica de segundo orden: problemas metateoréticos 1990

    Universidad de Sevilla

    Nepomuceno Fernández, Ángel

  12. Vocal del tribunal

    Una lógica trivalorada para funciones recursivas parciales 1990

    Universidad Complutense de Madrid

    Gavilanes Franco, Antonio Javier

  13. Vocal del tribunal

    De la teoría del significado en Prawitz a la búsqueda inteligente de pruebas: una aplicación del teorema de inversión a la inteligencia artificial 1989

    Universitat de València

    Martínez Vidal, Concepción

  14. Vocal del tribunal

    La lógica inductiva probabilitaria de R. Carnap y la lógica inductiva neoclásica de L.J. Cohen. Semejanzas y diferencias 1989

    Universitat de Barcelona

    Aísa Moreu, Diego