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

2023

  1. The impact of personality variables on entrepreneurial orientation

    International Journal of Business Environment, Vol. 14, Núm. 3, pp. 303-325

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