Thesis

  1. Modelos generales de la logica de segundo orden 1978

    Universitat de Barcelona

Supervised Theses (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. Intensions, types and existence 2017

    Universidad de Salamanca

    Moreno Gómez, Manuel Crescencio

  3. 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

  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

Theses Committees (14)

  1. Chair of the Committee

    Nociones de completud en Husserl y Carnap 2020

    Universidad Autónoma de Madrid

    Aranda Utrero, Víctor

  2. Chair of the Committee

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

    Universidad de Salamanca

    Pinheiro Fernandes, Diego

  3. Chair of the Committee

    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. Committee Member

    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. Committee Member

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

    Universitat Autònoma de Barcelona

    Cruz Mavil, Miguel Ángel

  6. Committee Member

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

    Universidad de Sevilla

    Soler Toscano, Fernando

  7. Secretary of the Committee

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

    Universidad de Navarra

    García Clavel, Manuel

  8. Secretary of the Committee

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

    Universitat de Barcelona

    Aibar Puentes, Eduard

  9. Committee Member

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

    Universidad Autónoma de Madrid

    Corredor Lanas, Cristina

  10. Committee Member

    Una lógica trivalorada para funciones recursivas parciales 1990

    Universidad Complutense de Madrid

    Gavilanes Franco, Antonio Javier

  11. Committee Member

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

    Universidad Complutense de Madrid

    Gil Luezas, Ana

  12. Committee Member

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

    Universidad de Sevilla

    Nepomuceno Fernández, Ángel

  13. Committee Member

    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. Committee Member

    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