A polynomial translation of S4 into intuitionistic logic. - David Fernández-Duque (J. Symb. Log., 2006)

Dynamic Topological Completeness for R2. - David Fernández-Duque (Log. J. IGPL, 2007)

Non-deterministic semantics for dynamic topological logic. - David Fernández-Duque (Ann. Pure Appl. Log., 2009)

Absolute Completeness of S4u for Its Measure-Theoretic Semantics. - David Fernández-Duque (Advances in Modal Logic, 2010)

On the Definability of Simulability and Bisimilarity by Finite Epistemic Models. - Hans van Ditmarsch; David Fernández-Duque; Wiebe van der Hoek (CLIMA, 2011)

Secure Communication of Local States in Interpreted Systems. - Michael H. Albert; Andrés Cordón-Franco; Hans van Ditmarsch; David Fernández-Duque; Joost J. Joosten; Fernando Soler-Toscano (DCAI, 2011)

Tangled Modal Logic for Spatial Reasoning. - David Fernández-Duque (IJCAI, 2011)

Preface. - Hans van Ditmarsch; David Fernández-Duque; Valentin Goranko; Wojtek Jamroga; Manuel Ojeda-Aciego (M4M/LAMAS, 2011)

Dynamic Topological Logic Interpreted over Minimal Systems. - David Fernández-Duque (J. Philos. Log., 2011)

On the Modal Definability of Simulability by Finite Transitive Models. - David Fernández-Duque (Stud Logica, 2011)

Evidence Logic: A New Look at Neighborhood Structures. - Johan van Benthem; David Fernández-Duque; Eric Pacuit (Advances in Modal Logic, 2012)

Kripke Models of Transfinite Provability Logic. - David Fernández-Duque; Joost J. Joosten (Advances in Modal Logic, 2012)

Turing Progressions and Their Well-Orders. - David Fernández-Duque; Joost J. Joosten (CiE, 2012)

A secure additive protocol for card players. - Andrés Cordón-Franco; Hans van Ditmarsch; David Fernández-Duque; Joost J. Joosten; Fernando Soler-Toscano (Australas. J Comb., 2012)

Tangled modal logic for topological dynamics. - David Fernández-Duque (Ann. Pure Appl. Log., 2012)

Tableaux for structural abduction. - Ángel Nepomuceno-Fernández; Francisco J. Salguero-Lamillar; David Fernández-Duque (Log. J. IGPL, 2012)

A modal framework for modelling abductive reasoning. - Fernando Soler-Toscano; David Fernández-Duque; Ángel Nepomuceno-Fernández (Log. J. IGPL, 2012)

Dynamic topological logic of metric spaces. - David Fernández-Duque (J. Symb. Log., 2012)

A sound and complete axiomatization for Dynamic Topological Logic. - David Fernández-Duque (J. Symb. Log., 2012)

Hyperations, Veblen progressions and transfinite iteration of ordinal functions. - David Fernández-Duque; Joost J. Joosten (Ann. Pure Appl. Log., 2013)

Models of transfinite provability logic. - David Fernández-Duque; Joost J. Joosten (J. Symb. Log., 2013)

A colouring protocol for the generalized Russian cards problem. - Andrés Cordón-Franco; Hans van Ditmarsch; David Fernández-Duque; Fernando Soler-Toscano (Theor. Comput. Sci., 2013)

The polytopologies of transfinite provability logic. - David Fernández-Duque (Arch. Math. Log., 2014)

Evidence and plausibility in neighborhood structures. - Johan van Benthem; David Fernández-Duque; Eric Pacuit (Ann. Pure Appl. Log., 2014)

Secure aggregation of distributed information. - David Fernández-Duque; Valentin Goranko (CoRR, 2014)

Well-orders in the transfinite Japaridze algebra. - David Fernández-Duque; Joost J. Joosten (Log. J. IGPL, 2014)

On the definability of simulation and bisimulation in epistemic logic. - Hans van Ditmarsch; David Fernández-Duque; Wiebe van der Hoek (J. Log. Comput., 2014)

On Provability Logics with Linearly Ordered Modalities. - Lev D. Beklemishev; David Fernández-Duque; Joost J. Joosten (Stud Logica, 2014)

Non-finite axiomatizability of dynamic topological logic. - David Fernández-Duque (ACM Trans. Comput. Log., 2014)

A fully card-safe protocol for securely aggregating distributed information. - David Fernández-Duque (CoRR, 2015)

A geometric protocol for cryptography with cards. - Andrés Cordón-Franco; Hans van Ditmarsch; David Fernández-Duque; Fernando Soler-Toscano (Des. Codes Cryptogr., 2015)

Forgetting complex propositions. - David Fernández-Duque; Ángel Nepomuceno-Fernández; Enrique Sarrión-Morillo; Fernando Soler-Toscano; Fernando R. Velázquez-Quesada (Log. J. IGPL, 2015)

Verification logic: An arithmetical interpretation for negative introspection. - Juan P. Aguilera 001; David Fernández-Duque (Advances in Modal Logic, 2016)

Axiomatizing the lexicographic products of modal logics with linear temporal logic. - Philippe Balbiani; David Fernández-Duque (Advances in Modal Logic, 2016)

A Logical Theory of Belief Dynamics for Resource-Bounded Agents. - Philippe Balbiani; David Fernández-Duque; Emiliano Lorini (AAMAS, 2016)

Secure aggregation of distributed information: How a team of agents can safely share secrets in front of a spy. - David Fernández-Duque; Valentin Goranko (Discret. Appl. Math., 2016)

Perfectly secure data aggregation via shifted projections. - David Fernández-Duque (Inf. Sci., 2016)

Logical Dynamics. - David Fernández-Duque (2017)

Exploring the Bidimensional Space: A Dynamic Logic Point of View. - Philippe Balbiani; David Fernández-Duque; Emiliano Lorini (AAMAS, 2017)

A Decidable Intuitionistic Temporal Logic. - Joseph Boudou; Martín Diéguez; David Fernández-Duque (CSL, 2017)

A case study in almost-perfect security for unconditionally secure communication. - Esteban Landerreche; David Fernández-Duque (Des. Codes Cryptogr., 2017)

Worms and Spiders: Reflection Calculi and Ordinal Notation Systems. - David Fernández-Duque (FLAP, 2017)

Strong Completeness of Provability Logic for Ordinal Spaces. - Juan P. Aguilera 001; David Fernández-Duque (J. Symb. Log., 2017)

Predicativity through Transfinite Reflection. - Andrés Cordón-Franco; David Fernández-Duque; Joost J. Joosten; Francisco Félix Lara Martín (J. Symb. Log., 2017)

Verification logic. - Juan Pablo Aguilera Ozuna; David Fernández-Duque (J. Log. Comput., 2017)

Frame-Validity Games and Absolute Minimality of Modal Axioms. - Philippe Balbiani; David Fernández-Duque; Andreas Herzig; Petar Iliev (Advances in Modal Logic, 2018)

An Intuitionistic Axiomatization of 'Eventually'. - Martín Diéguez; David Fernández-Duque (Advances in Modal Logic, 2018)

The omega-rule interpretation of transfinite provability logic. - David Fernández-Duque; Joost J. Joosten (Ann. Pure Appl. Log., 2018)

Succinctness in Subsystems of the Spatial μ-Calculus. - David Fernández-Duque; Petar Iliev (FLAP, 2018)

The intuitionistic temporal logic of dynamical systems. - David Fernández-Duque (Log. Methods Comput. Sci., 2018)

Stratified Evidence Logics. - Philippe Balbiani; David Fernández-Duque; Andreas Herzig; Emiliano Lorini (IJCAI, 2019)

Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic. - Joseph Boudou; Martín Diéguez; David Fernández-Duque; Fabián Romero (JELIA, 2019)

The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations. - Ana de Almeida Borges; Juan José Conejero Rodríguez; David Fernández-Duque; Mireia González Bedmar; Joost J. Joosten (TIME, 2019)

A Self-contained Provability Calculus for Γ0. - David Fernández-Duque; Eduardo Hermo Reyes (WoLLIC, 2019)

The Dynamics of Epistemic Attitudes in Resource-Bounded Agents. - Philippe Balbiani; David Fernández-Duque; Emiliano Lorini (Stud Logica, 2019)

Ackermannian Goodstein Sequences of Intermediate Growth. - David Fernández-Duque; Andreas Weiermann (CiE, 2020)

Intuitionistic Linear Temporal Logics. - Philippe Balbiani; Joseph Boudou; Martín Diéguez; David Fernández-Duque (ACM Trans. Comput. Log., 2020)

Some constructive variants of S4 with the finite model property. - Philippe Balbiani; Martín Diéguez; David Fernández-Duque (LICS, 2021)

Who holds the best card? Secure communication of optimal secret bits. - Hans van Ditmarsch; David Fernández-Duque; Vaishnavi Sundararajan; S. P. Suresh (Australas. J Comb., 2021)

Bisimulations for Intuitionistic Temporal Logics. - Philippe Balbiani; Joseph Boudou; Martín Diéguez; David Fernández-Duque (FLAP, 2021)

To drive or not to drive: A logical and computational analysis of European transport regulations. - Ana de Almeida Borges; Juan José Conejero Rodríguez; David Fernández-Duque; Mireia González Bedmar; Joost J. Joosten (Inf. Comput., 2021)

Exploring the Jungle of Intuitionistic Temporal Logics. - Joseph Boudou; Martín Diéguez; David Fernández-Duque; Philip Kremer (Theory Pract. Log. Program., 2021)

A Gödel Calculus for Linear Temporal Logic. - Juan P. Aguilera 001; Martín Diéguez; David Fernández-Duque; Brett McLean (KR, 2022)

The Topology of Surprise. - Alexandru Baltag; Nick Bezhanishvili; David Fernández-Duque (KR, 2022)

A Non-hyperarithmetical Gödel Logic. - Juan P. Aguilera 001; Jan Bydzovsky; David Fernández-Duque (LFCS, 2022)

Hyperarithmetical Worm Battles. - David Fernández-Duque; Konstantinos Papafilippou; Joost J. Joosten (LFCS, 2022)

Time and Gödel: Fuzzy Temporal Reasoning in PSPACE. - Juan P. Aguilera 001; Martín Diéguez; David Fernández-Duque; Brett McLean (WoLLIC, 2022)

Deducibility and independence in Beklemishev's autonomous provability calculus. - David Fernández-Duque; Eduardo Hermo Reyes (Inf. Comput., 2022)

Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms. - Philippe Balbiani; David Fernández-Duque; Andreas Herzig; Petar Iliev (Log. J. IGPL, 2022)

Complete intuitionistic Temporal Logics for Topological dynamics. - Joseph Boudou; Martín Diéguez; David Fernández-Duque (J. Symb. Log., 2022)

Noetherian Gödel logics. - Juan P. Aguilera 001; Jan Bydzovsky; David Fernández-Duque (J. Log. Comput., 2022)

Arithmetical and Hyperarithmetical Worm Battles. - David Fernández-Duque; Joost J. Joosten; Fedor Pakhomov; Konstantinos Papafilippou; Andreas Weiermann (J. Log. Comput., 2022)

Untangled: A Complete Dynamic Topological Logic. - David Fernández-Duque; Yoàv Montacute (AAAI, 2023)

The Universal Tangle for Spatial Reasoning. - David Fernández-Duque; Konstantinos Papafilippou (JELIA, 2023)

A Family of Decidable Bi-intuitionistic Modal Logics. - David Fernández-Duque; Brett McLean; Lukas Zenger (KR, 2023)

Fixed Point Logics on Hemimetric Spaces. - David Fernández-Duque; Quentin Gougeon (LICS, 2023)

Dynamic Cantor Derivative Logic. - David Fernández-Duque; Yoàv Montacute (Log. Methods Comput. Sci., 2023)

The Topological Mu-Calculus: Completeness and Decidability. - Alexandru Baltag; Nick Bezhanishvili; David Fernández-Duque (J. ACM, 2023)

Dynamic Tangled Derivative Logic of Metric Spaces. - David Fernández-Duque; Yoàv Montacute (AAAI, 2024)

Logics of Polyhedral Reachability. - Nick Bezhanishvili; Laura Bussi; Vincenzo Ciancia; David Fernández-Duque; David Gabelaia (AiML, 2024)

The Goldblatt-Thomason Theorem for Derivative Spaces. - Nick Bezhanishvili; David Fernández-Duque; Reihane Zoghifard (AiML, 2024)

Modal Logics in Dynamical Systems. - David Fernández-Duque (AiML, 2024)

A Tree Rewriting System for the Reflection Calculus. - Sofía Santiago-Fernández; Joost J. Joosten; David Fernández-Duque (AiML, 2024)

A Sound and Complete Axiomatisation for Intuitionistic Linear Temporal Logic. - David Fernández-Duque; Brett McLean; Lukas Zenger (KR, 2024)

Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal. - David Fernández-Duque; Andreas Weiermann (Ann. Pure Appl. Log., 2024)

A Walk with Goodstein. - David Fernández-Duque; Andreas Weiermann (Bull. Symb. Log., 2024)

Constructive S4 modal logics with the finite birelational frame property. - Philippe Balbiani; Martín Diéguez; David Fernández-Duque; Brett McLean (CoRR, 2024)

The Baire Closure and its Logic. - Guram Bezhanishvili; David Fernández-Duque (J. Symb. Log., 2024)

Fixed point logics and definable topological properties. - David Fernández-Duque; Quentin Gougeon (Math. Struct. Comput. Sci., 2024)

Taming the 'elsewhere': on Expressivity of Topological Languages. - David Fernández-Duque (Rev. Symb. Log., 2024)

Exponential Lower Bounds on Definable Fixed Points. - Konstantinos Papafilippou; David Fernández-Duque (CSL, 2025)

Gödel-Dummett linear temporal logic. - Juan P. Aguilera 001; Martín Diéguez; David Fernández-Duque; Brett McLean (Artif. Intell., 2025)

Tree Rewriting Calculi for Strictly Positive Logics. - Sofía Santiago-Fernández; David Fernández-Duque; Joost J. Joosten (CoRR, 2025)