FILOSOFÍA, LÓGICA Y ESTÉTICA
Departamento
Universitat Oberta de Catalunya
Barcelona, EspañaPublicaciones en colaboración con investigadores/as de Universitat Oberta de Catalunya (6)
2022
-
Exorcising the phantom zone
Information and Computation, Vol. 287
2019
-
Completeness in Equational Hybrid Propositional Type Theory
Studia Logica, Vol. 107, Núm. 6, pp. 1159-1198
-
Rigid First-Order Hybrid Logic
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014
-
A semantics for equational hybrid propositional type theory
Bulletin of the Section of Logic, Vol. 43, Núm. 3-4, pp. 121-138
-
Completeness in Hybrid Type Theory
Journal of Philosophical Logic, Vol. 43, Núm. 2-3, pp. 209-238
-
Henkin and Hybrid Logic
Studies in Universal Logic (Springer Nature), pp. 279-306