Actualizado el 2 de noviembre de 2018.

Lógicas de la demostrabilidad y principios de reflexión Impredicative consistency and reflection. [ArXiv] The omega-rule interpretation of transfinite provability logic. Joint work with Joost Joosten. Annals of Pure and Applied Logic 169(4): 333-371, 2018. [Journal] [ArXiv] Worms and spiders: Reflection calculi and ordinal notation systems. Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications, 4(10), 3277-3356, 2017. [Journal] [ArXiv] Strong Completeness of Provability Logic for Ordinal Spaces. Joint work with Juan Pablo Aguilera. Journal of Symbolic Logic 82(2): 608-628, 2017. [Journal] [ArXiv] Predicativity through transfinite reflection. Joint work with Andrés Cordón-Franco, Joost Joosten and Félix Lara-Martín. Journal of Symbolic Logic 82(3): 787-808, 2017. [Journal] [ArXiv] Verification logic. Joint work with Juan Pablo Aguilera. Journal of Logic and Computation 27(8): 2451-2469 (2017). Conference version Verification logic: An arithmetical interpretation for negative introspection in Advances in Modal Logic, 1-20, 2016. [Journal] [Proceedings] Well-orders on the transfinite Japaridze algebra. Joint work with Joost Joosten. Logic Journal of the IGPL 22(6): 933-963, 2014. [Journal] [ArXiv] The polytopologies of transfinite provability logic. Archive for Mathematical Logic 53(3-4): 385-431, 2014. [Journal] [ArXiv] On provability logics with linearly ordered modalities. Joint work with Lev Beklemishev and Joost Joosten. Studia Logica 102 (3): 541-566, 2014. [Journal] [ArXiv] Hyperations, Veblen progressions, and transfinite iteration of ordinal functions. Joint work with Joost Joosten. Annals of Pure and Applied Logic 164 (7-8), 2013.  [Journal] [ArXiv] Models of Transfinite Provability Logic. Joint work with Joost Joosten. Journal of Symbolic Logic, 78 (2), 543-561, 2013. Extended version of Kripke models of Transfinite Provability Logic, proceedings of AiML, 2012. [Journal] [Proceedings] [ArXiv] Turing progressions and their well-orders. Joint work with Joost Joosten. Proceedings of CiE, 2012. [pdf] Lógicas del tiempo y el espacio An intuitionistic axiomatization of 'eventually'. With Martín Diéguez. Advances in Modal Logic, 2018. [ArXiv] The intuitionistic temporal logic of dynamical systems. Logical Methods in Computer Science 14(3), 2018. [Journal] Axiomatic systems and topological semantics for intuitionistic temporal logic. Joint work with Joseph Boudou, Martín Diéguez, and Fabián Romero. [ArXiv] Bisimulations for intuitionistic temporal logics. Joint work with Philippe Balbiani, Joseph Boudou, and Martín Diéguez. [ArXiv] Succinctness in subsystems of the spatial mu-calculus. Joint work with Petar Iliev. Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications, 2018. [ArXiv] An intuitionistic axiomatization of `eventually'. Joint work with Martín Diéguez. Advances in Modal Logic, 2018. [ArXiv] A decidable intuitionistic temporal logic. Joint work with Joseph Boudou and Martín Dieguez. Computer Science Logic, 2017. [Proceedings] [ArXiv] Exploring the bidimensional space: A dynamic logic point of view. Joint work with Philippe Balbiani and Emiliano Lorini. Autonomous Agents and Multi-Agent Systems, 2017. [ArXiv] Axiomatizing the lexicographic products of modal logics with linear temporal logic. Joint work with Philippe Balbiani. Advances in Modal Logic, 78-96, 2016 [Proceedings] Non-finite axiomatizability of Dynamic Topological Logic. ACM Transactions on Computational Logic 15(1), 2014. Conference version in Advances in Modal Logic, 2012. [Journal] [Proceedings] [ArXiv] A sound and complete axiomatization for Dynamic Topological Logic. Journal of Symbolic Logic, 77(3), pp. 947-969, 2012. [Journal] [ArXiv] Tangled Modal Logic for Topological Dynamics. Annals of Pure and Applied Logic, 163, pp. 467-481, 2012. [Journal] [pdf] Tangled Modal Logic for Spatial Reasoning. Proceedings of IJCAI, 2011. [Proceedings] Dynamic Topological Logic of Metric Spaces. Journal of Symbolic Logic, volume 77, number 1, 2011. [Journal] [pdf] Dynamic Topological Logic interpreted over Minimal Systems. Journal of Philosophical Logic, 40 (6):767-804, 2011. [Journal] [pdf] Absolute completeness of S4u for its measure-theoretic semantics. Advances in Modal Logic, Volume 8, 2010. [Proceedings] Non-deterministic semantics for Dynamic Topological Logic. Annals of Pure and Applied Logic, Volume 157, Issues 2-3, February 2009, Pages 110-121. [Journal] [ArXiv] Dynamic topological completeness for R2. Logic Journal of IGPL 15(1): 77-107, 2007. [Journal] [pdf] Lógica modal y epistémica Frame-validity games and absolute minimality of modal axioms. With Philippe Balbiani, David Fernández-Duque, Andreas Herzig and Petar Iliev. Advances in Modal Logic, 2018. [ArXiv] The Dynamics of Epistemic Attitudes in Resource-Bounded Agents. With Philippe Balbiani and Emilano Lorini. Studia Logica, forthcoming, 2018. [Journal] A logical theory of belief dynamics for resource-bounded agents. Joint work with Philippe Balbiani and Emiliano Lorini. Studia Logica, 2018. Conference version in Autonomous Agents and Multi-Agent Systems, 644-652, 2016. [Journal] [Proceedings] Forgetting complex propositions. Joint work with ángel Nepomuceno-Fernández, Enrique Sarrión-Morrillo, Fernando Soler-Toscano and Fernando Velazquez-Quesada. Logic Journal of the IGPL 23(6): 942-965 (2015). [Journal] [ArXiv] Evidence and plausibility in neighborhood structures. Joint work with Johan van Benthem and Eric Pacuit. Annals of Pure and Applied Logic 165(3): 106-133, 2014. [Journal] [ArXiv] Axiomatizing evidence logic: a new look at neighborhood structures. Joint work with Johan van Benthem and Eric Pacuit. Advances in Modal Logic, 2012. [Proceedings] On the definability of simulation and bisimulation in epistemic logic. Joint work with Wiebe van der Hoek and Hans van Ditmarsch. Journal of Logic and Computation, 2012. Extended version of On the definability of Simulability and Bisimilarity by Finite Epistemic Models, in Proceedings of CLIMA, 2011. [Journal] [pdf] On the modal definability of simulability by finite transitive models. Studia Logica, 98(3), 347-373, 2011. [Journal] [pdf] A polynomial translation of S4 into Intuitionistic Logic. Journal of Symbolic Logic 71, iss. 3 (2006), 989-1001. [Journal] [pdf] Nota: La traducción contiene errores. Para una versión correcta, ver A correct polynomial translation of S4 into intuitionistic logic by Goré and Thomson [pdf]. Comunicación incondicionalmente segura A case study in almost-perfect security for unconditionally secure communication. Joint work with Esteban Landerreche. Designs, Codes and Cryptography, 83(1): 145-168, 2017. [Journal] [ArXiv] Perfectly secure data aggregation via shifted progressions. Information Sciences 354: 153-164, 2016. [Journal] [ArXiv] Secure aggregation of distributed information: How a team of agents can share secrets in front of a spy. Joint work with Valentin Goranko. Discrete Applied Mathematics, 2015. [Journal] [ArXiv] A geometric protocol for cryptography with cards. Joint work with Andrés Cordón-Franco, Hans van Ditmarsch and Fernando Soler-Toscano. To appear in Designs, Codes and Cryptography. [Journal] [ArXiv] A colouring protocol for the generalized Russian cards problem. Joint work with Andrés Cordón-Franco, Hans van Ditmarsch and Fernando Soler-Toscano. Theoretical Computer Science 495: 81-95, 2013. [Journal] [ArXiv] A secure additive protocol for card players. Joint work with Andrés Cordón-Franco, Hans van Ditmarsch, Joost J. Joosten and Fernando Soler-Toscano. Australasian Journal of Combinatorics, volume 54, pages 163-176, 2012. [ArXiv] Volumen editado 7th workshop Methods for Modalities - Proceedings. With Hans van Ditmarsch, Valentin Goranko, Wojtek Jamroga and Manuel Ojeda Aciego. ENTCS, Elsevier Science, 2011.