Publicaciones en las que colabora con María Antonia Huertas Sánchez (14)

2023

  1. HYBRID PARTIAL TYPE THEORY

    Journal of Symbolic Logic

2022

  1. Exorcising the phantom zone

    Information and Computation, Vol. 287

2014

  1. A semantics for equational hybrid propositional type theory

    Bulletin of the Section of Logic, Vol. 43, Núm. 3-4, pp. 121-138

  2. Completeness in Hybrid Type Theory

    Journal of Philosophical Logic, Vol. 43, Núm. 2-3, pp. 209-238

2011

  1. Hybrid type theory: a quartet in four movements

    Principia: an international journal of epistemology, Vol. 15, Núm. 2, pp. 225-247

2004

  1. A fashionable partial and heterogeneous mirror for modality

    Summa logicae en el siglo XXI [Archivo de ordenador] (Salamanca : Universidad de Salamanca, [2004)

  2. Apuntes de Lógica

    Summa logicae en el siglo XXI [Archivo de ordenador] (Salamanca : Universidad de Salamanca, [2004)

  3. Eight European Summer School in Logic, Language and Information Reader of Course: Extensions of First Order Logic

    Summa logicae en el siglo XXI [Archivo de ordenador] (Salamanca : Universidad de Salamanca, [2004)

  4. El universo matemático

    Summa logicae en el siglo XXI [Archivo de ordenador] (Salamanca : Universidad de Salamanca, [2004)

  5. Lógica modal con MAUDE (I)

    Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Valladolid, 3-6 de Noviembre de 2004

  6. Lógica modal con MAUDE (II)

    Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Valladolid, 3-6 de Noviembre de 2004

  7. Lógica para principiantes

    Alianza

  8. Un cálculo de LHP para LMP: un cálculo heterogéneo parcial para lógica modal de predicados

    Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Valladolid, 3-6 de Noviembre de 2004

1991

  1. Conversación de S5 en bivariada

    Lenguajes naturales y lenguajes formales : actas del VI congreso de lenguajes naturales y lenguajes formales : (Tarragona, 17-21 de septiembre de 1990)