Publications (7)

¹ Publicaciones consideradas como producción del grupo

View referenced research data.

filter_list Philosophy

2023

  1. HYBRID PARTIAL TYPE THEORY

    Journal of Symbolic Logic

2020

  1. The logic of imaginary scenarios

    Logic Journal of the IGPL, Vol. 28, Núm. 3, pp. 363-388

2019

  1. Completeness in Equational Hybrid Propositional Type Theory

    Studia Logica, Vol. 107, Núm. 6, pp. 1159-1198

  2. Rigid First-Order Hybrid Logic

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

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

  3. Henkin and Hybrid Logic

    Studies in Universal Logic (Springer Nature), pp. 279-306