Manage settings
MENU
About this site
In het Nederlands
Home
Researchers
Projects
Organisations
Outputs & Impact
Infrastructure
Contact
Research Explorer
Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.
Researcher
David Fernández-Duque
Profile
Projects
Publications & Research Data
Activities
Awards & Distinctions
Patents
58
Results
2025
Exponential lower bounds on definable fixed points
Konstantinos Papafilippou
David Fernández-Duque
P1
Conference
2025
Gödel–Dummett linear temporal logic
Juan Pablo Aguilera
Martín Diéguez
David Fernández-Duque
Brett McLean
A1
Journal Article
in
ARTIFICIAL INTELLIGENCE
2025
2024
A sound and complete axiomatisation for intuitionistic linear temporal logic
David Fernández-Duque
Brett McLean
Lukas Matthias Zenger
C1
Conference
2024
A walk with Goodstein
David Fernández-Duque
Andreas Weiermann
A1
Journal Article
in
BULLETIN OF SYMBOLIC LOGIC
2024
A walk with Goodstein and Ackermann
David Fernández-Duque
Andreas Weiermann
A1
Journal Article
in
NOTRE DAME JOURNAL OF FORMAL LOGIC
2024
Fast Goodstein walks
David Fernández-Duque
Andreas Weiermann
A1
Journal Article
in
BULLETIN OF THE LONDON MATHEMATICAL SOCIETY
2024
Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal
David Fernández-Duque
Andreas Weiermann
A1
Journal Article
in
ANNALS OF PURE AND APPLIED LOGIC
2024
The baire closure and its logic
G. Bezhanishvili
David Fernández-Duque
A1
Journal Article
in
JOURNAL OF SYMBOLIC LOGIC
2024
2023
Chapter 7 : Intermediate Goodstein principles
David Fernández-Duque
Oriola Gjetaj
Andreas Weiermann
Bookchapter
in
Mathematics for Computation (M4C)
2023
Metric fixed point theory and partial impredicativity
David Fernández-Duque
P. Shafer
H. Towsner
K. Yokoyama
A1
Journal Article
in
PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES
2023
The topological mu-calculus : completeness and decidability
Alexandru Baltag
Nick Bezhanishvili
David Fernández-Duque
A1
Journal Article
in
JOURNAL OF THE ACM
2023
The universal tangle for spatial reasoning
David Fernández-Duque
Konstantinos Papafilippou
Bookchapter
in
Logics in artificial intelligence : 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings
2023
2022
A Gödel calculus for linear temporal logic
J. P. Aguilera
Martín Diéguez
David Fernández-Duque
Brett McLean
C1
Conference
2022
Arithmetical and hyperarithmetical worm battles
David Fernández-Duque
Joost J Joosten
Fedor Pakhomov
Konstantinos Papafilippou
Andreas Weiermann
A1
Journal Article
in
JOURNAL OF LOGIC AND COMPUTATION
2022
Complete intuitionistic temporal logics for topological dynamics
Joseph Boudou
Martin Diéguez
David Fernández-Duque
A1
Journal Article
in
JOURNAL OF SYMBOLIC LOGIC
2022
Deducibility and independence in Beklemishev's autonomous provability calculus
David Fernández-Duque
Eduardo Hermo-Reyes
A1
Journal Article
in
INFORMATION AND COMPUTATION
2022
Noetherian Gödel logics
J. P. Aguilera
Jan Bydžovský
David Fernández-Duque
A1
Journal Article
in
JOURNAL OF LOGIC AND COMPUTATION
2022
Time and Godel : fuzzy temporal reasoning in PSPACE
J. P. Aguilera
Martin Dieguez
David Fernández-Duque
Brett McLean
P1
Conference
2022
2021
Bisimulations for intuitionistic temporal logics
Philippe Balbiani
Joseph Boudou
Martin Dieguez
David Fernández-Duque
A2
Journal Article
in
JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR
2021
Connecting with computability
Book editor
2021
Exploring the jungle of intuitionistic temporal logics
Joseph Boudou
Martin Diéguez
David Fernández-Duque
Philip Kremer
A1
Journal Article
in
THEORY AND PRACTICE OF LOGIC PROGRAMMING
2021
Hyperarithmetical worm battles
David Fernández-Duque
Konstantinos Papafilippou
Joost J. Joosten
C1
Conference
2021
Some constructive variants of S4 with the finite model property
Philippe Balbiani
Martin Dieguez
David Fernández-Duque
P1
Conference
2021
Who holds the best card? Secure communication of optimal secret bits
Hans Van Ditmarsch
David Fernández-Duque
Vaishnavi Sundararajan
S. P. Suresh
A2
Journal Article
in
AUSTRALASIAN JOURNAL OF COMBINATORICS
2021
2020
Ackermannian Goodstein sequences of intermediate growth
David Fernández-Duque
Andreas Weiermann
C1
Conference
2020
Intuitionistic linear temporal logics
Philippe Balbiani
Joseph Boudou
Martin Dieguez
David Fernández-Duque
A1
Journal Article
in
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
2020
Predicatively unprovable termination of the Ackermannian Goodstein process
Toshiyasu Arai
David Fernández-Duque
Stanley Wainer
Andreas Weiermann
A1
Journal Article
in
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY
2020
2019
A self-contained provability calculus for {\(\Gamma\)}\(_{\mbox0}\)
David Fernández-Duque
Eduardo Hermo Reyes
C1
Conference
2019
Axiomatic systems and topological semantics for intuitionistic temporal logic
Joseph Boudou
Martín Diéguez
David Fernández-Duque
Fabián Romero
C1
Conference
2019
Stratified evidence logics
Philippe Balbiani
David Fernández-Duque
Andreas Herzig
Emiliano Lorini
P1
Conference
2019
The dynamics of epistemic attitudes in resource-bounded agents
Philippe Balbiani
David Fernández-Duque
Emiliano Lorini
A1
Journal Article
in
STUDIA LOGICA
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
C1
Conference
2019
2018
Succinctness in subsystems of the spatial mu-calculus
David Fernández-Duque
Petar Iliev
A2
Journal Article
in
JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR
2018
The intuitionistic temporal logic of dynamical systems
David Fernández-Duque
A1
Journal Article
in
LOGICAL METHODS IN COMPUTER SCIENCE
2018
2017
A decidable intuitionistic temporal logic
Joseph Boudou
Martín Diéguez
David Fernández-Duque
C1
Conference
2017
Exploring the bidimensional space : a dynamic logic point of view
Philippe Balbiani
David Fernández-Duque
Emiliano Lorini
C1
Conference
2017
Predicativity through transfinite reflection
Andrés Cordón-Franco
David Fernández-Duque
Joost J Joosten
Francisco Félix Lara-Martín
A1
Journal Article
in
JOURNAL OF SYMBOLIC LOGIC
2017
Strong completeness of provability logic for ordinal spaces
Juan P Aguilera
David Fernández-Duque
A1
Journal Article
in
JOURNAL OF SYMBOLIC LOGIC
2017
The omega-rule interpretation of transfinite provability logic
David Fernández-Duque
Joost J Joosten
A1
Journal Article
in
ANNALS OF PURE AND APPLIED LOGIC
2017
Verification logic
Juan Pablo Aguilera Ozuna
David Fernández-Duque
A1
Journal Article
in
JOURNAL OF LOGIC AND COMPUTATION
2017
Worms and spiders : reflection calculi and ordinal notation systems
David Fernández-Duque
A2
Journal Article
in
JOURNAL OF APPLIED LOGICS - IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS
2017
2016
A case study in almost-perfect security for unconditionally secure communication
Esteban Landerreche
David Fernández-Duque
A1
Journal Article
in
DESIGNS CODES AND CRYPTOGRAPHY
2016
A logical theory of belief dynamics for resource-bounded agents
Philippe Balbiani
David Fernández-Duque
Emiliano Lorini
C1
Conference
2016
Axiomatizing the lexicographic products of modal logics with linear temporal logic
Philippe Balbiani
David Fernández-Duque
C1
Conference
2016
Perfectly secure data aggregation via shifted projections
David Fernández-Duque
A1
Journal Article
in
INFORMATION SCIENCES
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
A1
Journal Article
in
DISCRETE APPLIED MATHEMATICS
2016
Verification logic : an arithmetical interpretation for negative introspection
Juan Pablo Aguilera Osuna
David Fernández-Duque
C1
Conference
2016
2015
Forgetting complex propositions
David Fernández-Duque
Ángel Nepomuceno-Fernández
Enrique Sarrión-Morrillo
Fernando Soler-Toscano
Fernando R Velázquez-Quesada
A1
Journal Article
in
LOGIC JOURNAL OF THE IGPL
2015
2014
Non-finite axiomatizability of dynamic topological logic
David Fernández-Duque
A1
Journal Article
in
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
2014
On provability logics with linearly ordered modalities
Lev D Beklemishev
David Fernández-Duque
Joost J Joosten
A1
Journal Article
in
STUDIA LOGICA
2014
On the definability of simulation and bisimulation in epistemic logic
Hans van Ditmarsch
David Fernández-Duque
Wiebe van der Hoek
A1
Journal Article
in
JOURNAL OF LOGIC AND COMPUTATION
2014
The polytopologies of transfinite provability logic
David Fernández-Duque
A1
Journal Article
in
ARCHIVE FOR MATHEMATICAL LOGIC
2014
Well-orders in the transfinite Japaridze algebra
David Fernández-Duque
Joost J Joosten
A1
Journal Article
in
LOGIC JOURNAL OF THE IGPL
2014
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
A1
Journal Article
in
THEORETICAL COMPUTER SCIENCE
2013
A geometric protocol for cryptography with cards
Andrés Cordón-Franco
Hans van Ditmarsch
David Fernández-Duque
Fernando Soler-Toscano
A1
Journal Article
in
DESIGNS CODES AND CRYPTOGRAPHY
2013
Evidence and plausibility in neighborhood structures
Johan van Benthem
David Fernández-Duque
Eric Pacuit
A1
Journal Article
in
ANNALS OF PURE AND APPLIED LOGIC
2013
Hyperations, Veblen progressions and transfinite iteration of ordinal functions
David Fernández-Duque
Joost J Joosten
A1
Journal Article
in
ANNALS OF PURE AND APPLIED LOGIC
2013
Models of transfinite provability logic
David Fernández-Duque
Joost J Joosten
A1
Journal Article
in
JOURNAL OF SYMBOLIC LOGIC
2013