David Fernández-Duque
Ghent University

 Home     |     Publications     |     Links

Publications

Updated 17 July 2020.

Gödel incompleteness and reverse mathematics
  • Ekeland's variational principle in weak and strong systems of arithmetic. With Paul Shafer and Keita Yokoyama. [ArXiv]

  • A walk with Goodstein. Joint work with Andreas Weiermann. [ArXiv]

  • Ackermannian Goodstein sequences of intermediate growth. With Andreas Weiermann. CiE 2020; 163-174. [Proceedings] [ArXiv]

  • Predicatively unprovable termination of the Ackermannian Goodstein process. With Toshiyasu Arai, Stanley Wainer, and Andreas Weiermann. Proceedings of the AMS, 148:3567-3582, 2020 [Journal] [ArXiv]

Provability logics and reflection principles
  • A Self-contained Provability Calculus for Γ0. With Eduardo Hermo Reyes. WoLLIC 2019: 195-207.  [Proceedings]

  • The omega-rule interpretation of transfinite provability logic. 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. With Juan Pablo Aguilera. Journal of Symbolic Logic 82(2): 608-628, 2017. [Journal] [ArXiv]

  • Predicativity through transfinite reflection. 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. 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]

  • Impredicative consistency and reflection. 2015. [ArXiv]

  • Well-orders on the transfinite Japaridze algebra. 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. With Lev Beklemishev and Joost Joosten. Studia Logica 102 (3): 541-566, 2014. [Journal] [ArXiv]

  • Hyperations, Veblen progressions, and transfinite iteration of ordinal functions. With Joost Joosten. Annals of Pure and Applied Logic 164 (7-8), 2013.  [Journal] [ArXiv]

  • Models of Transfinite Provability Logic. 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. With Joost Joosten. Proceedings of CiE, 2012. [pdf]

Spatial and temporal logics
  • Axiomatic systems and topological semantics for intuitionistic temporal logic. With Joseph Boudou, Martín Diéguez and Fabián Romero. JELIA 2019. [Proceedings] [ArXiv]

  • Intuitionistic linear temporal logics. With Philippe Balbiani, Joseph Boudou and Martín Diéguez. ACM Transactions on Computational Logic 21(2), Article 14, pp 1–32, 2020. [Journal] [ArXiv]

  • 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. With Joseph Boudou, Martín Diéguez, and Fabián Romero. [ArXiv]

  • Bisimulations for intuitionistic temporal logics. With Philippe Balbiani, Joseph Boudou, and Martín Diéguez. [ArXiv]

  • Succinctness in subsystems of the spatial mu-calculus. With Petar Iliev. Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications, 2018. [ArXiv]

  • A decidable intuitionistic temporal logic. With Joseph Boudou and Martín Dieguez. Computer Science Logic, 2017. [Proceedings] [ArXiv]

  • Exploring the bidimensional space: A dynamic logic point of view. With Philippe Balbiani and Emiliano Lorini. Autonomous Agents and Multi-Agent Systems, 2017. [Proceedings] [ArXiv]

  • Axiomatizing the lexicographic products of modal logics with linear temporal logic. 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 S4for 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]

Logic in law
  • The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations. With Ana de Almeida Borges, Juan José Conejero Rodríguez, Mireia González Bedmar, and Joost J. Joosten.  TIME 2019: 6:1-6:16. [Proceedings]
Modal and epistemic logic
  • Stratified evidence logics. With Philippe Balbiani, Andreas Herzig, and Emiliano Lorini. IJCAI 2019: 1523-1529. [Proceedings]

  • 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.  [Proceedings] [ArXiv]

  • The Dynamics of Epistemic Attitudes in Resource-Bounded Agents. With Philippe Balbiani and Emilano Lorini. Studia Logica, 107(3): 457-488, 2019. [Journal]

  • A logical theory of belief dynamics for resource-bounded agents. 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. 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. 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. With Johan van Benthem and Eric Pacuit. Advances in Modal Logic, 2012. [Proceedings]

  • On the definability of simulation and bisimulation in epistemic logic. 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].
    Note: The translation contains errors. For a correct version see A correct polynomial translation of S4 into intuitionistic logic by Goré and Thomson [pdf].


Unconditionally secure communication
  • A case study in almost-perfect security for unconditionally secure communication. 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. With Valentin Goranko. Discrete Applied Mathematics, 2015. [Journal] [ArXiv]

  • A geometric protocol for cryptography with cards. 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. 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. 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]


Edited volume
  • 7th workshop Methods for Modalities - Proceedings. With Hans van Ditmarsch, Valentin Goranko, Wojtek Jamroga and Manuel Ojeda Aciego. ENTCS, Elsevier Science, 2011.