Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

David Fernández-Duque

> Home > Persons

Person information

affiliation: Ghent University, Ghent, Belgium
affiliation (former): University of Toulouse, CIMI, France
affiliation (former): ITAM, Department of Mathematics, Mexico City, Mexico

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j47]
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/FernandezDuqueW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/FernandezDuqueW24
David Fernández-Duque, Andreas Weiermann:
A Walk with Goodstein. Bull. Symb. Log. 30(1): 1-19 (2024)
[j46]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Fernandez-Duque24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Fernandez-Duque24
David Fernández-Duque, Quentin Gougeon:
Fixed point logics and definable topological properties. Math. Struct. Comput. Sci. 34(2): 81-97 (2024)
[c35]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/Fernandez-Duque24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/Fernandez-Duque24
David Fernández-Duque, Yoàv Montacute:
Dynamic Tangled Derivative Logic of Metric Spaces. AAAI 2024: 10509-10516
[i26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-00201
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-00201
Philippe Balbiani, Martín Diéguez, David Fernández-Duque, Brett McLean:
Constructive S4 modal logics with the finite birelational frame property. CoRR abs/2403.00201 (2024)
2023
[j45]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/BaltagBF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/BaltagBF23
Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque:
The Topological Mu-Calculus: Completeness and Decidability. J. ACM 70(5): 33:1-33:38 (2023)
[j44]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/FernandezDuqueM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/FernandezDuqueM23
David Fernández-Duque, Yoàv Montacute:
Dynamic Cantor Derivative Logic. Log. Methods Comput. Sci. 19(4) (2023)
[c34]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/Fernandez-Duque23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/Fernandez-Duque23
David Fernández-Duque, Yoàv Montacute:
Untangled: A Complete Dynamic Topological Logic. AAAI 2023: 6355-6362
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/FernandezDuqueP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/FernandezDuqueP23
David Fernández-Duque, Konstnatinos Papafilippou:
The Universal Tangle for Spatial Reasoning. JELIA 2023: 814-827
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/kr/Fernandez-Duque23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/Fernandez-Duque23
David Fernández-Duque, Brett McLean, Lukas Zenger:
A Family of Decidable Bi-intuitionistic Modal Logics. KR 2023: 262-271
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/Fernandez-Duque23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/Fernandez-Duque23
David Fernández-Duque, Quentin Gougeon:
Fixed Point Logics on Hemimetric Spaces. LICS 2023: 1-13
[i25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-09904
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-09904
David Fernández-Duque, Yoàv Montacute:
Dynamic Tangled Derivative Logic of Metric Spaces. CoRR abs/2301.09904 (2023)
[i24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-15805
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-15805
Juan Pablo Aguilera Ozuna, Martín Diéguez, David Fernández-Duque, Brett McLean:
Gödel-Dummett linear temporal logic. CoRR abs/2306.15805 (2023)
2022
[j43]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/Fernandez-Duque22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Fernandez-Duque22
David Fernández-Duque, Eduardo Hermo Reyes:
Deducibility and independence in Beklemishev's autonomous provability calculus. Inf. Comput. 287: 104758 (2022)
[j42]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/BalbianiFHI22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/BalbianiFHI22
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): 155-185 (2022)
[j41]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/BoudouDF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/BoudouDF22
Joseph Boudou, Martín Diéguez, David Fernández-Duque:
Complete intuitionistic Temporal Logics for Topological dynamics. J. Symb. Log. 87(3): 995-1022 (2022)
[j40]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/AguileraBF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/AguileraBF22
Juan P. Aguilera, Jan Bydzovsky, David Fernández-Duque:
Noetherian Gödel logics. J. Log. Comput. 32(8): 1487-1503 (2022)
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/Fernandez-Duque22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/Fernandez-Duque22
David Fernández-Duque, Joost J. Joosten, Fedor Pakhomov, Konstnatinos Papafilippou, Andreas Weiermann:
Arithmetical and Hyperarithmetical Worm Battles. J. Log. Comput. 32(8): 1558-1584 (2022)
[c30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/csl/Fernandez-Duque22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/Fernandez-Duque22
David Fernández-Duque, Yoàv Montacute:
Dynamic Cantor Derivative Logic. CSL 2022: 19:1-19:17
[c29]
- view
  - electronic edition @ kr.org
  - no references & citations available
- export record
  dblp key:
  - conf/kr/0001DFM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/0001DFM22
Juan P. Aguilera, Martín Diéguez, David Fernández-Duque, Brett McLean:
A Gödel Calculus for Linear Temporal Logic. KR 2022
[c28]
- view
  - electronic edition @ kr.org
  - no references & citations available
- export record
  dblp key:
  - conf/kr/BaltagBF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/BaltagBF22
Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque:
The Topology of Surprise. KR 2022
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/lfcs/AguileraBF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfcs/AguileraBF22
Juan P. Aguilera, Jan Bydzovsky, David Fernández-Duque:
A Non-hyperarithmetical Gödel Logic. LFCS 2022: 1-8
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/lfcs/Fernandez-Duque22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfcs/Fernandez-Duque22
David Fernández-Duque, Konstnatinos Papafilippou, Joost J. Joosten:
Hyperarithmetical Worm Battles. LFCS 2022: 52-69
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/wollic/AguileraDFM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wollic/AguileraDFM22
Juan P. Aguilera, Martín Diéguez, David Fernández-Duque, Brett McLean:
Time and Gödel: Fuzzy Temporal Reasoning in PSPACE. WoLLIC 2022: 18-35
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/wollic/Fernandez-Duque22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wollic/Fernandez-Duque22
David Fernández-Duque, Quentin Gougeon:
Fixed Point Logics and Definable Topological Properties. WoLLIC 2022: 36-52
[e3]
- view
- export record
  dblp key:
  - conf/aiml/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/2022
David Fernández-Duque, Alessandra Palmigiano, Sophie Pinchinat:
Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022. College Publications 2022, ISBN 978-1-84890-413-2 [contents]
[i23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-08374
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-08374
David Fernández-Duque, Yoàv Montacute:
Untangled: A Complete Dynamic Topological Logic. CoRR abs/2204.08374 (2022)
[i22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-00574
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-00574
Juan Pablo Aguilera Ozuna, Martín Diéguez, David Fernández-Duque, Brett McLean:
Time and Gödel: Fuzzy temporal reasoning in PSPACE. CoRR abs/2205.00574 (2022)
[i21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-05182
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-05182
Juan Pablo Aguilera Ozuna, Martín Diéguez, David Fernández-Duque, Brett McLean:
A Gödel Calculus for Linear Temporal Logic. CoRR abs/2205.05182 (2022)
2021
[j38]
- view
  - electronic edition @ uq.edu.au (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/ajc/DitmarschFSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ajc/DitmarschFSS21
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: 1-29 (2021)
[j37]
- view
  - electronic edition @ collegepublications.co.uk (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/flap/BalbianiBDF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/flap/BalbianiBDF21
Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque:
Bisimulations for Intuitionistic Temporal Logics. FLAP 8(8): 2265-2286 (2021)
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/BorgesRFBJ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BorgesRFBJ21
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: 104636 (2021)
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/BoudouDFK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/BoudouDFK21
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): 459-492 (2021)
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/BalbianiDF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/BalbianiDF21
Philippe Balbiani, Martín Diéguez, David Fernández-Duque:
Some constructive variants of S4 with the finite model property. LICS 2021: 1-13
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/BaltagBF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/BaltagBF21
Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque:
The Topological Mu-Calculus: completeness and decidability. LICS 2021: 1-13
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/cie/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cie/2021
Liesbeth De Mol, Andreas Weiermann, Florin Manea, David Fernández-Duque:
Connecting with Computability - 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings. Lecture Notes in Computer Science 12813, Springer 2021, ISBN 978-3-030-80048-2 [contents]
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2104-15053
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-15053
Philippe Balbiani, Martín Diéguez, David Fernández-Duque:
Some constructive variants of S4 with the finite model property. CoRR abs/2104.15053 (2021)
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-08231
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-08231
Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque:
The Topological Mu-Calculus: completeness and decidability. CoRR abs/2105.08231 (2021)
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2107-10349
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-10349
David Fernández-Duque, Yoàv Montacute:
Dynamic Cantor Derivative Logic. CoRR abs/2107.10349 (2021)
2020
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/BalbianiBDF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/BalbianiBDF20
Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque:
Intuitionistic Linear Temporal Logics. ACM Trans. Comput. Log. 21(2): 14:1-14:32 (2020)
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/cie/Fernandez-Duque20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cie/Fernandez-Duque20
David Fernández-Duque, Andreas Weiermann:
Ackermannian Goodstein Sequences of Intermediate Growth. CiE 2020: 163-174

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/BalbianiFL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/BalbianiFL19
Philippe Balbiani, David Fernández-Duque, Emiliano Lorini:
The Dynamics of Epistemic Attitudes in Resource-Bounded Agents. Stud Logica 107(3): 457-488 (2019)
[c20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/BalbianiFHL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BalbianiFHL19
Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Emiliano Lorini:
Stratified Evidence Logics. IJCAI 2019: 1523-1529
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/BoudouDFR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/BoudouDFR19
Joseph Boudou, Martín Diéguez, David Fernández-Duque, Fabián Romero:
Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic. JELIA 2019: 763-777
[c18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/time/BorgesRFBJ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/BorgesRFBJ19
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: 6:1-6:16
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/wollic/Fernandez-Duque19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wollic/Fernandez-Duque19
David Fernández-Duque, Eduardo Hermo Reyes:
A Self-contained Provability Calculus for Γ₀. WoLLIC 2019: 195-207
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1910-00907
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-00907
Joseph Boudou, Martín Diéguez, David Fernández-Duque:
Complete Intuitionistic Temporal Logics in Topological Dynamics. CoRR abs/1910.00907 (2019)
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1912-12893
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-12893
Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque:
Intuitionistic Linear Temporal Logics. CoRR abs/1912.12893 (2019)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1912-12895
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-12895
Joseph Boudou, Martín Diéguez, David Fernández-Duque, Philip Kremer:
Exploring the Jungle of Intuitionistic Temporal Logics. CoRR abs/1912.12895 (2019)
2018
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Fernandez-Duque18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Fernandez-Duque18
David Fernández-Duque, Joost J. Joosten:
The omega-rule interpretation of transfinite provability logic. Ann. Pure Appl. Log. 169(4): 333-371 (2018)
[j31]
- view
  - electronic edition @ collegepublications.co.uk (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/flap/Fernandez-Duque18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/flap/Fernandez-Duque18
David Fernández-Duque, Petar Iliev:
Succinctness in Subsystems of the Spatial μ-Calculus. FLAP 5(4): 827-874 (2018)
[j30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/Fernandez-Duque18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/Fernandez-Duque18
David Fernández-Duque:
The intuitionistic temporal logic of dynamical systems. Log. Methods Comput. Sci. 14(3) (2018)
[c16]
- view
  - electronic edition @ aiml.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiml/BalbianiFHI18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/BalbianiFHI18
Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev:
Frame-Validity Games and Absolute Minimality of Modal Axioms. Advances in Modal Logic 2018: 83-102
[c15]
- view
  - electronic edition @ aiml.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiml/DieguezF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/DieguezF18
Martín Diéguez, David Fernández-Duque:
An Intuitionistic Axiomatization of 'Eventually'. Advances in Modal Logic 2018: 199-218
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-05077
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-05077
Joseph Boudou, Martín Diéguez, David Fernández-Duque, Fabián Romero:
Axiomatic systems and topological semantics for intuitionistic temporal logic. CoRR abs/1803.05077 (2018)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-05078
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-05078
Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque:
Bisimulations for intuitionistic temporal logics. CoRR abs/1803.05078 (2018)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1808-05051
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1808-05051
Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev:
Frame-validity games and lower bounds on the complexity of modal axioms. CoRR abs/1808.05051 (2018)
2017
[b1]
- view
  - electronic edition @ archives-ouvertes.fr
  - no references & citations available
- export record
  dblp key:
  - books/hal/Duque17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/hal/Duque17
David Fernández-Duque:
Logical Dynamics. Paul Sabatier University, Toulouse, France, 2017
[j29]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dcc/LanderrecheD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dcc/LanderrecheD17
Esteban Landerreche, David Fernández-Duque:
A case study in almost-perfect security for unconditionally secure communication. Des. Codes Cryptogr. 83(1): 145-168 (2017)
[j28]
- view
  - electronic edition @ collegepublications.co.uk (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/flap/Fernandez-Duque17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/flap/Fernandez-Duque17
David Fernández-Duque:
Worms and Spiders: Reflection Calculi and Ordinal Notation Systems. FLAP 4(10): 3277-3356 (2017)
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/AguileraF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/AguileraF17
Juan P. Aguilera, David Fernández-Duque:
Strong Completeness of Provability Logic for Ordinal Spaces. J. Symb. Log. 82(2): 608-628 (2017)
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Cordon-FrancoFJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Cordon-FrancoFJ17
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): 787-808 (2017)
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/OzunaF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/OzunaF17
Juan Pablo Aguilera Ozuna, David Fernández-Duque:
Verification logic. J. Log. Comput. 27(8): 2451-2469 (2017)
[c14]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/BalbianiFL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/BalbianiFL17
Philippe Balbiani, David Fernández-Duque, Emiliano Lorini:
Exploring the Bidimensional Space: A Dynamic Logic Point of View. AAMAS 2017: 132-140
[c13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/csl/BoudouDF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/BoudouDF17
Joseph Boudou, Martín Diéguez, David Fernández-Duque:
A Decidable Intuitionistic Temporal Logic. CSL 2017: 14:1-14:17
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BalbianiDL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BalbianiDL17
Philippe Balbiani, David Fernández-Duque, Emiliano Lorini:
Exploring the bidimensional space: A dynamic logic point of view. CoRR abs/1702.01601 (2017)
2016
[j24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dam/DuqueG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dam/DuqueG16
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: 118-135 (2016)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/isci/Duque16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isci/Duque16
David Fernández-Duque:
Perfectly secure data aggregation via shifted projections. Inf. Sci. 354: 153-164 (2016)
[c12]
- view
  - electronic edition @ aiml.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiml/AguileraF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/AguileraF16
Juan P. Aguilera, David Fernández-Duque:
Verification logic: An arithmetical interpretation for negative introspection. Advances in Modal Logic 2016: 1-20
[c11]
- view
  - electronic edition @ aiml.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiml/BalbianiF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/BalbianiF16
Philippe Balbiani, David Fernández-Duque:
Axiomatizing the lexicographic products of modal logics with linear temporal logic. Advances in Modal Logic 2016: 78-96
[c10]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/BalbianiDL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/BalbianiDL16
Philippe Balbiani, David Fernández-Duque, Emiliano Lorini:
A Logical Theory of Belief Dynamics for Resource-Bounded Agents. AAMAS 2016: 644-652
2015
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/dcc/Cordon-FrancoDDS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dcc/Cordon-FrancoDDS15
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): 113-125 (2015)
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/DuqueNSSV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/DuqueNSSV15
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): 942-965 (2015)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Duque15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Duque15
David Fernández-Duque:
A fully card-safe protocol for securely aggregating distributed information. CoRR abs/1505.02824 (2015)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/LanderrecheD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LanderrecheD15
Esteban Landerreche, David Fernández-Duque:
A case study in almost-perfect security for unconditionally secure communication. CoRR abs/1506.04188 (2015)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/DuqueNSSV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DuqueNSSV15
David Fernández-Duque, Ángel Nepomuceno-Fernández, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada:
Forgetting complex propositions. CoRR abs/1507.01111 (2015)
2014
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/aml/Duque14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aml/Duque14
David Fernández-Duque:
The polytopologies of transfinite provability logic. Arch. Math. Log. 53(3-4): 385-431 (2014)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/BenthemDP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/BenthemDP14
Johan van Benthem, David Fernández-Duque, Eric Pacuit:
Evidence and plausibility in neighborhood structures. Ann. Pure Appl. Log. 165(1): 106-133 (2014)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/DuqueJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/DuqueJ14
David Fernández-Duque, Joost J. Joosten:
Well-orders in the transfinite Japaridze algebra. Log. J. IGPL 22(6): 933-963 (2014)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/DitmarschDH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/DitmarschDH14
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): 1209-1227 (2014)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/BeklemishevDJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/BeklemishevDJ14
Lev D. Beklemishev, David Fernández-Duque, Joost J. Joosten:
On Provability Logics with Linearly Ordered Modalities. Stud Logica 102(3): 541-566 (2014)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/Duque14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/Duque14
David Fernández-Duque:
Non-finite axiomatizability of dynamic topological logic. ACM Trans. Comput. Log. 15(1): 4:1-4:18 (2014)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/DuqueG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DuqueG14
David Fernández-Duque, Valentin Goranko:
Secure aggregation of distributed information. CoRR abs/1407.7582 (2014)
2013
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/DuqueJ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/DuqueJ13
David Fernández-Duque, Joost J. Joosten:
Hyperations, Veblen progressions and transfinite iteration of ordinal functions. Ann. Pure Appl. Log. 164(7-8): 785-801 (2013)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/DuqueJ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/DuqueJ13
David Fernández-Duque, Joost J. Joosten:
Models of transfinite provability logic. J. Symb. Log. 78(2): 543-561 (2013)
[j12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Cordon-FrancoDDS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Cordon-FrancoDDS13
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: 81-95 (2013)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1301-4289
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1301-4289
Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano:
A geometric protocol for cryptography with cards. CoRR abs/1301.4289 (2013)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BenthemDP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BenthemDP13
Johan van Benthem, David Fernández-Duque, Eric Pacuit:
Evidence and plausibility in neighborhood structures. CoRR abs/1307.1277 (2013)
2012
[j11]
- view
  - electronic edition @ uq.edu.au (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/ajc/Cordon-FrancoDF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ajc/Cordon-FrancoDF12
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: 163-176 (2012)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Duque12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Duque12
David Fernández-Duque:
Tangled modal logic for topological dynamics. Ann. Pure Appl. Log. 163(4): 467-481 (2012)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Nepomuceno-FernandezSD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Nepomuceno-FernandezSD12
Ángel Nepomuceno-Fernández, Francisco J. Salguero-Lamillar, David Fernández-Duque:
Tableaux for structural abduction. Log. J. IGPL 20(2): 388-399 (2012)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Soler-ToscanoDN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Soler-ToscanoDN12
Fernando Soler-Toscano, David Fernández-Duque, Ángel Nepomuceno-Fernández:
A modal framework for modelling abductive reasoning. Log. J. IGPL 20(2): 438-444 (2012)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Duque12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Duque12
David Fernández-Duque:
Dynamic topological logic of metric spaces. J. Symb. Log. 77(1): 308-328 (2012)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Duque12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Duque12a
David Fernández-Duque:
A sound and complete axiomatization for Dynamic Topological Logic. J. Symb. Log. 77(3): 947-969 (2012)
[c9]
- view
  - electronic edition @ aiml.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiml/BenthemDP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/BenthemDP12
Johan van Benthem, David Fernández-Duque, Eric Pacuit:
Evidence Logic: A New Look at Neighborhood Structures. Advances in Modal Logic 2012: 97-118
[c8]
- view
  - electronic edition @ aiml.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiml/DuqueJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/DuqueJ12
David Fernández-Duque, Joost J. Joosten:
Kripke Models of Transfinite Provability Logic. Advances in Modal Logic 2012: 185-199
[c7]
- view
  - electronic edition @ aiml.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiml/Fernandez-Duque12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/Fernandez-Duque12
David Fernández-Duque:
Non-finite Axiomatizability of Dynamic Topological Logic. Advances in Modal Logic 2012: 200-216
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/cie/DuqueJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cie/DuqueJ12
David Fernández-Duque, Joost J. Joosten:
Turing Progressions and Their Well-Orders. CiE 2012: 212-221
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1201-5162
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1201-5162
David Fernández-Duque:
A sound and complete axiomatization for Dynamic Topological Logic. CoRR abs/1201.5162 (2012)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1207-5140
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1207-5140
David Fernández-Duque:
Non-finite axiomatizability of Dynamic Topological Logic. CoRR abs/1207.5140 (2012)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1207-5216
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1207-5216
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 abs/1207.5216 (2012)
2011
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/jphil/Duque11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jphil/Duque11
David Fernández-Duque:
Dynamic Topological Logic Interpreted over Minimal Systems. J. Philos. Log. 40(6): 767-804 (2011)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Duque11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Duque11
David Fernández-Duque:
On the Modal Definability of Simulability by Finite Transitive Models. Stud Logica 98(3): 347-373 (2011)
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/DitmarschDH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/DitmarschDH11
Hans van Ditmarsch, David Fernández-Duque, Wiebe van der Hoek:
On the Definability of Simulability and Bisimilarity by Finite Epistemic Models. CLIMA 2011: 74-87
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/dcai/AlbertCDDJS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcai/AlbertCDDJS11
Michael H. Albert, Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Joost J. Joosten, Fernando Soler-Toscano:
Secure Communication of Local States in Interpreted Systems. DCAI 2011: 117-124
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcai/Duque11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Duque11
David Fernández-Duque:
Tangled Modal Logic for Spatial Reasoning. IJCAI 2011: 857-862
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DitmarschDGJO11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DitmarschDGJO11
Hans van Ditmarsch, David Fernández-Duque, Valentin Goranko, Wojtek Jamroga, Manuel Ojeda-Aciego:
Preface. M4M/LAMAS 2011: 1-2
[e1]
- view
- export record
  dblp key:
  - conf/m4m/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/m4m/2011
Hans van Ditmarsch, David Fernández-Duque, Valentin Goranko, Wojciech Jamroga, Manuel Ojeda-Aciego:
Proceedings of the 7th Workshop on Methods for Modalities, M4M 2011, and the 4th Workshop on Logical Aspects of Multi-Agent Systems, LAMAS 2011, Osuna, Spain, November 10-12, 2011. Electronic Notes in Theoretical Computer Science 278, Elsevier 2011 [contents]
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1111-0156
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1111-0156
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. CoRR abs/1111.0156 (2011)
2010
[c1]
- view
  - electronic edition @ aiml.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiml/Duque10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/Duque10
David Fernández-Duque:
Absolute Completeness of S4_u for Its Measure-Theoretic Semantics. Advances in Modal Logic 2010: 100-119

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Fernandez09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Fernandez09
David Fernández-Duque:
Non-deterministic semantics for dynamic topological logic. Ann. Pure Appl. Log. 157(2-3): 110-121 (2009)
2007
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Duque07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Duque07
David Fernández-Duque:
Dynamic Topological Completeness for R². Log. J. IGPL 15(1): 77-107 (2007)
2006
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Fernandez06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Fernandez06
David Fernández-Duque:
A polynomial translation of S4 into intuitionistic logic. J. Symb. Log. 71(3): 989-1001 (2006)

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.