David Fernndez-Duque
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
38
Venues
12
Active years
2010–2026
Best venue rank
A*
Where they publish
Papers
38 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | LICS | Axiomatizability of Alexandrov Dynamic Topological Logic. | Niels C. Vooijs, David Fernndez-Duque |
| 2025 | CSL | Exponential Lower Bounds on Definable Fixed Points. | Konstantinos Papafilippou, David Fernndez-Duque |
| 2024 | AAAI | Dynamic Tangled Derivative Logic of Metric Spaces. | David Fernndez-Duque, Yov Montacute |
| 2024 | AiML | Logics of Polyhedral Reachability. | Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Fernndez-Duque, David Gabelaia |
| 2024 | AiML | The Goldblatt-Thomason Theorem for Derivative Spaces. | Nick Bezhanishvili, David Fernndez-Duque, Reihane Zoghifard |
| 2024 | AiML | Modal Logics in Dynamical Systems. | David Fernndez-Duque |
| 2024 | AiML | A Tree Rewriting System for the Reflection Calculus. | Sofa Santiago-Fernndez, Joost J. Joosten, David Fernndez-Duque |
| 2024 | KR | A Sound and Complete Axiomatisation for Intuitionistic Linear Temporal Logic. | David Fernndez-Duque, Brett McLean, Lukas Zenger |
| 2023 | AAAI | Untangled: A Complete Dynamic Topological Logic. | David Fernndez-Duque, Yov Montacute |
| 2023 | JELIA | The Universal Tangle for Spatial Reasoning. | David Fernndez-Duque, Konstantinos Papafilippou |
| 2023 | KR | A Family of Decidable Bi-intuitionistic Modal Logics. | David Fernndez-Duque, Brett McLean, Lukas Zenger |
| 2023 | LICS | Fixed Point Logics on Hemimetric Spaces. | David Fernndez-Duque, Quentin Gougeon |
| 2022 | CSL | Dynamic Cantor Derivative Logic. | David Fernndez-Duque, Yov Montacute |
| 2022 | KR | A Gdel Calculus for Linear Temporal Logic. | Juan P. Aguilera, Martn Diguez, David Fernndez-Duque, Brett McLean |
| 2022 | KR | The Topology of Surprise. | Alexandru Baltag, Nick Bezhanishvili, David Fernndez-Duque |
| 2022 | LFCS | A Non-hyperarithmetical Gdel Logic. | Juan P. Aguilera, Jan Bydzovsky, David Fernndez-Duque |
| 2022 | LFCS | Hyperarithmetical Worm Battles. | David Fernndez-Duque, Konstantinos Papafilippou, Joost J. Joosten |
| 2022 | WoLLIC | Time and Gdel: Fuzzy Temporal Reasoning in PSPACE. | Juan P. Aguilera, Martn Diguez, David Fernndez-Duque, Brett McLean |
| 2022 | WoLLIC | Fixed Point Logics and Definable Topological Properties. | David Fernndez-Duque, Quentin Gougeon |
| 2021 | LICS | Some constructive variants of S4 with the finite model property. | Philippe Balbiani, Martn Diguez, David Fernndez-Duque |
| 2021 | LICS | The Topological Mu-Calculus: completeness and decidability. | Alexandru Baltag, Nick Bezhanishvili, David Fernndez-Duque |
| 2020 | CiE | Ackermannian Goodstein Sequences of Intermediate Growth. | David Fernndez-Duque, Andreas Weiermann |
| 2019 | IJCAI | Stratified Evidence Logics. | Philippe Balbiani, David Fernndez-Duque, Andreas Herzig, Emiliano Lorini |
| 2019 | JELIA | Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic. | Joseph Boudou, Martn Diguez, David Fernndez-Duque, Fabin Romero |
| 2019 | TIME | The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations. | Ana de Almeida Borges, Juan Jos Conejero Rodrguez, David Fernndez-Duque, Mireia Gonzlez Bedmar, Joost J. Joosten |
| 2019 | WoLLIC | A Self-contained Provability Calculus for Γ | David Fernndez-Duque, Eduardo Hermo Reyes |
| 2018 | AiML | Frame-Validity Games and Absolute Minimality of Modal Axioms. | Philippe Balbiani, David Fernndez-Duque, Andreas Herzig, Petar Iliev |
| 2018 | AiML | An Intuitionistic Axiomatization of 'Eventually'. | Martn Diguez, David Fernndez-Duque |
| 2017 | CSL | A Decidable Intuitionistic Temporal Logic. | Joseph Boudou, Martn Diguez, David Fernndez-Duque |
| 2016 | AiML | Verification logic: An arithmetical interpretation for negative introspection. | Juan P. Aguilera, David Fernndez-Duque |
| 2016 | AiML | Axiomatizing the lexicographic products of modal logics with linear temporal logic. | Philippe Balbiani, David Fernndez-Duque |
| 2012 | AiML | Evidence Logic: A New Look at Neighborhood Structures. | Johan van Benthem, David Fernndez-Duque, Eric Pacuit |
| 2012 | AiML | Kripke Models of Transfinite Provability Logic. | David Fernndez-Duque, Joost J. Joosten |
| 2012 | AiML | Non-finite Axiomatizability of Dynamic Topological Logic. | David Fernndez-Duque |
| 2012 | CiE | Turing Progressions and Their Well-Orders. | David Fernndez-Duque, Joost J. Joosten |
| 2011 | DCAI | Secure Communication of Local States in Interpreted Systems. | Michael H. Albert, Andrs Cordn-Franco, Hans van Ditmarsch, David Fernndez-Duque, Joost J. Joosten, Fernando Soler-Toscano |
| 2011 | IJCAI | Tangled Modal Logic for Spatial Reasoning. | David Fernndez-Duque |
| 2010 | AiML | Absolute Completeness of S4 | David Fernndez-Duque |