David Fernández-Duque

ORCID

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 76

Top Venues

CoRR

Advances in Modal Logic

J. Symb. Log.

J. Log. Comput.

Publications

David Fernández-Duque, Quentin Gougeon
Fixed point logics and definable topological properties. Math. Struct. Comput. Sci. 34 (2) (2024)
David Fernández-Duque, Andreas Weiermann
Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal. Ann. Pure Appl. Log. 175 (8) (2024)
Philippe Balbiani, Martín Diéguez, David Fernández-Duque, Brett McLean
Constructive S4 modal logics with the finite birelational frame property. CoRR (2024)
David Fernández-Duque
Taming the 'elsewhere': on Expressivity of Topological Languages. Rev. Symb. Log. 17 (1) (2024)
Guram Bezhanishvili, David Fernández-Duque
The Baire Closure and its Logic. J. Symb. Log. 89 (1) (2024)
David Fernández-Duque, Andreas Weiermann
A Walk with Goodstein. Bull. Symb. Log. 30 (1) (2024)
David Fernández-Duque, Yoàv Montacute
Dynamic Tangled Derivative Logic of Metric Spaces. AAAI (2024)
Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Fernández-Duque, David Gabelaia
Logics of polyhedral reachability. CoRR (2024)
David Fernández-Duque, Quentin Gougeon
Fixed Point Logics on Hemimetric Spaces. LICS (2023)
David Fernández-Duque, Konstnatinos Papafilippou
The Universal Tangle for Spatial Reasoning. JELIA (2023)
David Fernández-Duque, Brett McLean, Lukas Zenger
A Family of Decidable Bi-intuitionistic Modal Logics. KR (2023)
David Fernández-Duque, Yoàv Montacute
Dynamic Tangled Derivative Logic of Metric Spaces. CoRR (2023)
David Fernández-Duque, Yoàv Montacute
Dynamic Cantor Derivative Logic. Log. Methods Comput. Sci. 19 (4) (2023)
Juan Pablo Aguilera Ozuna, Martín Diéguez, David Fernández-Duque, Brett McLean
Gödel-Dummett linear temporal logic. CoRR (2023)
David Fernández-Duque, Yoàv Montacute
Untangled: A Complete Dynamic Topological Logic. AAAI (2023)
Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque
The Topological Mu-Calculus: Completeness and Decidability. J. ACM 70 (5) (2023)
Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev
Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms. Log. J. IGPL 30 (1) (2022)
Juan P. Aguilera, Martín Diéguez, David Fernández-Duque, Brett McLean
Time and Gödel: Fuzzy Temporal Reasoning in PSPACE. WoLLIC (2022)
Juan P. Aguilera, Jan Bydzovsky, David Fernández-Duque
Noetherian Gödel logics. J. Log. Comput. 32 (8) (2022)
Juan P. Aguilera, Jan Bydzovsky, David Fernández-Duque
A Non-hyperarithmetical Gödel Logic. LFCS (2022)
David Fernández-Duque, Eduardo Hermo Reyes
Deducibility and independence in Beklemishev's autonomous provability calculus. Inf. Comput. 287 (2022)
David Fernández-Duque, Yoàv Montacute
Dynamic Cantor Derivative Logic. CSL (2022)
Joseph Boudou, Martín Diéguez, David Fernández-Duque
Complete intuitionistic Temporal Logics for Topological dynamics. J. Symb. Log. 87 (3) (2022)
David Fernández-Duque, Quentin Gougeon
Fixed Point Logics and Definable Topological Properties. WoLLIC (2022)
Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque
The Topology of Surprise. KR (2022)
Juan Pablo Aguilera Ozuna, Martín Diéguez, David Fernández-Duque, Brett McLean
A Gödel Calculus for Linear Temporal Logic. CoRR (2022)
David Fernández-Duque, Konstnatinos Papafilippou, Joost J. Joosten
Hyperarithmetical Worm Battles. LFCS (2022)
Juan P. Aguilera, Martín Diéguez, David Fernández-Duque, Brett McLean
A Gödel Calculus for Linear Temporal Logic. KR (2022)
David Fernández-Duque, Joost J. Joosten, Fedor Pakhomov, Konstnatinos Papafilippou, Andreas Weiermann
Arithmetical and Hyperarithmetical Worm Battles. J. Log. Comput. 32 (8) (2022)
David Fernández-Duque, Yoàv Montacute
Untangled: A Complete Dynamic Topological Logic. CoRR (2022)
Juan Pablo Aguilera Ozuna, Martín Diéguez, David Fernández-Duque, Brett McLean
Time and Gödel: Fuzzy temporal reasoning in PSPACE. CoRR (2022)
Joseph Boudou, Martín Diéguez, David Fernández-Duque, Philip Kremer
Exploring the Jungle of Intuitionistic Temporal Logics. Theory Pract. Log. Program. 21 (4) (2021)
Hans van Ditmarsch, David Fernández-Duque, Vaishnavi Sundararajan, S. P. Suresh
Who holds the best card? Secure communication of optimal secret bits. Australas. J Comb. 80 (2021)
Philippe Balbiani, Martín Diéguez, David Fernández-Duque
Some constructive variants of S4 with the finite model property. CoRR (2021)
Ana de Almeida Borges, Juan José Conejero Rodríguez, David Fernández-Duque, Mireia González Bedmar, Joost J. Joosten
To drive or not to drive: A logical and computational analysis of European transport regulations. Inf. Comput. 280 (2021)
David Fernández-Duque, Yoàv Montacute
Dynamic Cantor Derivative Logic. CoRR (2021)
Philippe Balbiani, Martín Diéguez, David Fernández-Duque
Some constructive variants of S4 with the finite model property. LICS (2021)
Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque
The Topological Mu-Calculus: completeness and decidability. LICS (2021)
Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque
The Topological Mu-Calculus: completeness and decidability. CoRR (2021)
Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque
Bisimulations for Intuitionistic Temporal Logics. FLAP 8 (8) (2021)
Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque
Intuitionistic Linear Temporal Logics. ACM Trans. Comput. Log. 21 (2) (2020)
David Fernández-Duque, Andreas Weiermann
Ackermannian Goodstein Sequences of Intermediate Growth. CiE (2020)
David Fernández-Duque, Eduardo Hermo Reyes
. WoLLIC (2019)
Joseph Boudou, Martín Diéguez, David Fernández-Duque
Complete Intuitionistic Temporal Logics in Topological Dynamics. CoRR (2019)
Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Emiliano Lorini
Stratified Evidence Logics. IJCAI (2019)
Joseph Boudou, Martín Diéguez, David Fernández-Duque, Fabián Romero
Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic. JELIA (2019)
Joseph Boudou, Martín Diéguez, David Fernández-Duque, Philip Kremer
Exploring the Jungle of Intuitionistic Temporal Logics. CoRR (2019)
Ana de Almeida Borges, Juan José Conejero Rodríguez, David Fernández-Duque, Mireia González Bedmar, Joost J. Joosten
The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations. TIME (2019)
Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque
Intuitionistic Linear Temporal Logics. CoRR (2019)
Philippe Balbiani, David Fernández-Duque, Emiliano Lorini
The Dynamics of Epistemic Attitudes in Resource-Bounded Agents. Stud Logica 107 (3) (2019)
David Fernández-Duque, Petar Iliev
Succinctness in Subsystems of the Spatial μ-Calculus. FLAP 5 (4) (2018)
Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque
Bisimulations for intuitionistic temporal logics. CoRR (2018)
Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev
Frame-validity games and lower bounds on the complexity of modal axioms. CoRR (2018)
Joseph Boudou, Martín Diéguez, David Fernández-Duque, Fabián Romero
Axiomatic systems and topological semantics for intuitionistic temporal logic. CoRR (2018)
Martín Diéguez, David Fernández-Duque
An Intuitionistic Axiomatization of 'Eventually'. Advances in Modal Logic (2018)
David Fernández-Duque
The intuitionistic temporal logic of dynamical systems. Log. Methods Comput. Sci. 14 (3) (2018)
David Fernández-Duque, Joost J. Joosten
The omega-rule interpretation of transfinite provability logic. Ann. Pure Appl. Log. 169 (4) (2018)
Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev
Frame-Validity Games and Absolute Minimality of Modal Axioms. Advances in Modal Logic (2018)
Philippe Balbiani, David Fernández-Duque, Emiliano Lorini
Exploring the bidimensional space: A dynamic logic point of view. CoRR (2017)
David Fernández-Duque
Worms and Spiders: Reflection Calculi and Ordinal Notation Systems. FLAP 4 (10) (2017)
Juan Pablo Aguilera Ozuna, David Fernández-Duque
Verification logic. J. Log. Comput. 27 (8) (2017)
Joseph Boudou, Martín Diéguez, David Fernández-Duque
A Decidable Intuitionistic Temporal Logic. CSL (2017)
Philippe Balbiani, David Fernández-Duque, Emiliano Lorini
Exploring the Bidimensional Space: A Dynamic Logic Point of View. AAMAS (2017)
Juan P. Aguilera, David Fernández-Duque
Strong Completeness of Provability Logic for Ordinal Spaces. J. Symb. Log. 82 (2) (2017)
Andrés Cordón-Franco, David Fernández-Duque, Joost J. Joosten, Francisco Félix Lara Martín
Predicativity through Transfinite Reflection. J. Symb. Log. 82 (3) (2017)
Esteban Landerreche, David Fernández-Duque
A case study in almost-perfect security for unconditionally secure communication. Des. Codes Cryptogr. 83 (1) (2017)
David Fernández-Duque
Perfectly secure data aggregation via shifted projections. Inf. Sci. 354 (2016)
Philippe Balbiani, David Fernández-Duque, Emiliano Lorini
A Logical Theory of Belief Dynamics for Resource-Bounded Agents. AAMAS (2016)
Juan P. Aguilera, David Fernández-Duque
Verification logic: An arithmetical interpretation for negative introspection. Advances in Modal Logic (2016)
David Fernández-Duque, Valentin Goranko
Secure aggregation of distributed information: How a team of agents can safely share secrets in front of a spy. Discret. Appl. Math. 198 (2016)
Philippe Balbiani, David Fernández-Duque
Axiomatizing the lexicographic products of modal logics with linear temporal logic. Advances in Modal Logic (2016)
David Fernández-Duque, Ángel Nepomuceno-Fernández, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
Forgetting complex propositions. CoRR (2015)
David Fernández-Duque
A fully card-safe protocol for securely aggregating distributed information. CoRR (2015)
Esteban Landerreche, David Fernández-Duque
A case study in almost-perfect security for unconditionally secure communication. CoRR (2015)
Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano
A geometric protocol for cryptography with cards. Des. Codes Cryptogr. 74 (1) (2015)
David Fernández-Duque, Ángel Nepomuceno-Fernández, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
Forgetting complex propositions. Log. J. IGPL 23 (6) (2015)
David Fernández-Duque, Valentin Goranko
Secure aggregation of distributed information. CoRR (2014)
Johan van Benthem, David Fernández-Duque, Eric Pacuit
Evidence and plausibility in neighborhood structures. Ann. Pure Appl. Log. 165 (1) (2014)
David Fernández-Duque
The polytopologies of transfinite provability logic. Arch. Math. Log. 53 (3-4) (2014)
Lev D. Beklemishev, David Fernández-Duque, Joost J. Joosten
On Provability Logics with Linearly Ordered Modalities. Stud Logica 102 (3) (2014)
David Fernández-Duque
Non-finite axiomatizability of dynamic topological logic. ACM Trans. Comput. Log. 15 (1) (2014)
Hans van Ditmarsch, David Fernández-Duque, Wiebe van der Hoek
On the definability of simulation and bisimulation in epistemic logic. J. Log. Comput. 24 (6) (2014)
David Fernández-Duque, Joost J. Joosten
Well-orders in the transfinite Japaridze algebra. Log. J. IGPL 22 (6) (2014)
David Fernández-Duque, Joost J. Joosten
Models of transfinite provability logic. J. Symb. Log. 78 (2) (2013)
Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano
A geometric protocol for cryptography with cards CoRR (2013)
Johan van Benthem, David Fernández-Duque, Eric Pacuit
Evidence and plausibility in neighborhood structures. CoRR (2013)
Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano
A colouring protocol for the generalized Russian cards problem. Theor. Comput. Sci. 495 (2013)
David Fernández-Duque, Joost J. Joosten
Hyperations, Veblen progressions and transfinite iteration of ordinal functions. Ann. Pure Appl. Log. 164 (7-8) (2013)
David Fernández-Duque
A sound and complete axiomatization for Dynamic Topological Logic CoRR (2012)
David Fernández-Duque
Non-finite Axiomatizability of Dynamic Topological Logic. Advances in Modal Logic (2012)
Johan van Benthem, David Fernández-Duque, Eric Pacuit
Evidence Logic: A New Look at Neighborhood Structures. Advances in Modal Logic (2012)
David Fernández-Duque
Non-finite axiomatizability of Dynamic Topological Logic CoRR (2012)
Fernando Soler-Toscano, David Fernández-Duque, Ángel Nepomuceno-Fernández
A modal framework for modelling abductive reasoning. Log. J. IGPL 20 (2) (2012)
David Fernández-Duque, Joost J. Joosten
Turing Progressions and Their Well-Orders. CiE (2012)
Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Joost J. Joosten, Fernando Soler-Toscano
A secure additive protocol for card players. Australas. J Comb. 54 (2012)
Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano
A colouring protocol for the generalized Russian cards problem CoRR (2012)
David Fernández-Duque
A sound and complete axiomatization for Dynamic Topological Logic. J. Symb. Log. 77 (3) (2012)
Ángel Nepomuceno-Fernández, Francisco J. Salguero-Lamillar, David Fernández-Duque
Tableaux for structural abduction. Log. J. IGPL 20 (2) (2012)
David Fernández-Duque
Tangled modal logic for topological dynamics. Ann. Pure Appl. Log. 163 (4) (2012)
David Fernández-Duque, Joost J. Joosten
Kripke Models of Transfinite Provability Logic. Advances in Modal Logic (2012)

David Fernández-Duque.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

David Fernández-Duque