Publicaciones en colaboración con investigadores/as de Universitat Oberta de Catalunya (6)

2022

  1. Exorcising the phantom zone

    Information and Computation, Vol. 287

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