David Fernández-Duque

Orcid: 0000-0001-8604-4183

Affiliations:
  • University of Barcelona, Department of Philosophy, Spain
  • Ghent University, Department of Mathematicas, Ghent, Belgium
  • University of Toulouse, CIMI, France (former)
  • ITAM, Department of Mathematics, Mexico City, Mexico (former)


According to our database1, David Fernández-Duque authored at least 90 papers between 2006 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Gödel-Dummett linear temporal logic.
Artif. Intell., 2025

2024
Taming the 'elsewhere': on Expressivity of Topological Languages.
Rev. Symb. Log., 2024

Fixed point logics and definable topological properties.
Math. Struct. Comput. Sci., 2024

The Baire Closure and its Logic.
J. Symb. Log., 2024

Constructive S4 modal logics with the finite birelational frame property.
CoRR, 2024

A Walk with Goodstein.
Bull. Symb. Log., 2024

Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal.
Ann. Pure Appl. Log., 2024

A Tree Rewriting System for the Reflection Calculus.
Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

Modal Logics in Dynamical Systems.
Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

The Goldblatt-Thomason Theorem for Derivative Spaces.
Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

Logics of Polyhedral Reachability.
Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

Dynamic Tangled Derivative Logic of Metric Spaces.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
The Topological Mu-Calculus: Completeness and Decidability.
J. ACM, October, 2023

Dynamic Cantor Derivative Logic.
Log. Methods Comput. Sci., 2023

Fixed Point Logics on Hemimetric Spaces.
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

A Family of Decidable Bi-intuitionistic Modal Logics.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

The Universal Tangle for Spatial Reasoning.
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Untangled: A Complete Dynamic Topological Logic.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022
Arithmetical and Hyperarithmetical Worm Battles.
J. Log. Comput., 2022

Noetherian Gödel logics.
J. Log. Comput., 2022

Complete intuitionistic Temporal Logics for Topological dynamics.
J. Symb. Log., 2022

Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms.
Log. J. IGPL, 2022

Deducibility and independence in Beklemishev's autonomous provability calculus.
Inf. Comput., 2022

Time and Gödel: Fuzzy Temporal Reasoning in PSPACE.
Proceedings of the Logic, Language, Information, and Computation, 2022

Hyperarithmetical Worm Battles.
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2022

A Non-hyperarithmetical Gödel Logic.
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2022

The Topology of Surprise.
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

A Gödel Calculus for Linear Temporal Logic.
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

2021
Exploring the Jungle of Intuitionistic Temporal Logics.
Theory Pract. Log. Program., 2021

To drive or not to drive: A logical and computational analysis of European transport regulations.
Inf. Comput., 2021

Bisimulations for Intuitionistic Temporal Logics.
FLAP, 2021

Who holds the best card? Secure communication of optimal secret bits.
Australas. J Comb., 2021

Some constructive variants of S4 with the finite model property.
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020
Intuitionistic Linear Temporal Logics.
ACM Trans. Comput. Log., 2020

Ackermannian Goodstein Sequences of Intermediate Growth.
Proceedings of the Beyond the Horizon of Computability, 2020

2019
The Dynamics of Epistemic Attitudes in Resource-Bounded Agents.
Stud Logica, 2019

A Self-contained Provability Calculus for Γ<sub>0</sub>.
Proceedings of the Logic, Language, Information, and Computation, 2019

The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations.
Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019

Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic.
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Stratified Evidence Logics.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018
The intuitionistic temporal logic of dynamical systems.
Log. Methods Comput. Sci., 2018

Succinctness in Subsystems of the Spatial μ-Calculus.
FLAP, 2018

The omega-rule interpretation of transfinite provability logic.
Ann. Pure Appl. Log., 2018

An Intuitionistic Axiomatization of 'Eventually'.
Proceedings of the Advances in Modal Logic 12, 2018

Frame-Validity Games and Absolute Minimality of Modal Axioms.
Proceedings of the Advances in Modal Logic 12, 2018

2017
Verification logic.
J. Log. Comput., 2017

Predicativity through Transfinite Reflection.
J. Symb. Log., 2017

Strong Completeness of Provability Logic for Ordinal Spaces.
J. Symb. Log., 2017

Worms and Spiders: Reflection Calculi and Ordinal Notation Systems.
FLAP, 2017

A case study in almost-perfect security for unconditionally secure communication.
Des. Codes Cryptogr., 2017

A Decidable Intuitionistic Temporal Logic.
Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017

Exploring the Bidimensional Space: A Dynamic Logic Point of View.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Logical Dynamics.
, 2017

2016
Perfectly secure data aggregation via shifted projections.
Inf. Sci., 2016

Secure aggregation of distributed information: How a team of agents can safely share secrets in front of a spy.
Discret. Appl. Math., 2016

A Logical Theory of Belief Dynamics for Resource-Bounded Agents.
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Axiomatizing the lexicographic products of modal logics with linear temporal logic.
Proceedings of the Advances in Modal Logic 11, 2016

Verification logic: An arithmetical interpretation for negative introspection.
Proceedings of the Advances in Modal Logic 11, 2016

2015
Forgetting complex propositions.
Log. J. IGPL, 2015

A geometric protocol for cryptography with cards.
Des. Codes Cryptogr., 2015

A fully card-safe protocol for securely aggregating distributed information.
CoRR, 2015

2014
Non-finite axiomatizability of dynamic topological logic.
ACM Trans. Comput. Log., 2014

On Provability Logics with Linearly Ordered Modalities.
Stud Logica, 2014

On the definability of simulation and bisimulation in epistemic logic.
J. Log. Comput., 2014

Well-orders in the transfinite Japaridze algebra.
Log. J. IGPL, 2014

Secure aggregation of distributed information.
CoRR, 2014

Evidence and plausibility in neighborhood structures.
Ann. Pure Appl. Log., 2014

The polytopologies of transfinite provability logic.
Arch. Math. Log., 2014

2013
A colouring protocol for the generalized Russian cards problem.
Theor. Comput. Sci., 2013

Models of transfinite provability logic.
J. Symb. Log., 2013

Hyperations, Veblen progressions and transfinite iteration of ordinal functions.
Ann. Pure Appl. Log., 2013

2012
A sound and complete axiomatization for Dynamic Topological Logic.
J. Symb. Log., 2012

Dynamic topological logic of metric spaces.
J. Symb. Log., 2012

A modal framework for modelling abductive reasoning.
Log. J. IGPL, 2012

Tableaux for structural abduction.
Log. J. IGPL, 2012

Tangled modal logic for topological dynamics.
Ann. Pure Appl. Log., 2012

A secure additive protocol for card players.
Australas. J Comb., 2012

Turing Progressions and Their Well-Orders.
Proceedings of the How the World Computes, 2012

Kripke Models of Transfinite Provability Logic.
Proceedings of the Advances in Modal Logic 9, 2012

Evidence Logic: A New Look at Neighborhood Structures.
Proceedings of the Advances in Modal Logic 9, 2012

2011
On the Modal Definability of Simulability by Finite Transitive Models.
Stud Logica, 2011

Dynamic Topological Logic Interpreted over Minimal Systems.
J. Philos. Log., 2011

Preface.
Proceedings of the 7th Workshop on Methods for Modalities, 2011

Tangled Modal Logic for Spatial Reasoning.
Proceedings of the IJCAI 2011, 2011

Secure Communication of Local States in Interpreted Systems.
Proceedings of the International Symposium on Distributed Computing and Artificial Intelligence, 2011

On the Definability of Simulability and Bisimilarity by Finite Epistemic Models.
Proceedings of the Computational Logic in Multi-Agent Systems, 2011

2010
Absolute Completeness of S4<sub>u</sub> for Its Measure-Theoretic Semantics.
Proceedings of the Advances in Modal Logic 8, 2010

2009
Non-deterministic semantics for dynamic topological logic.
Ann. Pure Appl. Log., 2009

2007
Dynamic Topological Completeness for R<sup>2</sup>.
Log. J. IGPL, 2007

2006
A polynomial translation of S4 into intuitionistic logic.
J. Symb. Log., 2006


  Loading...