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

Books and Theses

see FAQ

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

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

Journal Articles

see FAQ

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

2024
[j50]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/FernandezDuqueW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/FernandezDuqueW24
David Fernández-Duque, Andreas Weiermann:
Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal. Ann. Pure Appl. Log. 175(8): 103455 (2024)
[j49]
- 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)
[j48]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsyml/BezhanishviliF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/BezhanishviliF24
Guram Bezhanishvili, David Fernández-Duque:
The Baire Closure and its Logic. J. Symb. Log. 89(1): 27-49 (2024)
[j47]
- 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)
[j46]
- view
  authority control:
- export record
  dblp key:
  - journals/rsl/FernandezDuque24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rsl/FernandezDuque24
David Fernández-Duque:
Taming the 'elsewhere': on Expressivity of Topological Languages. Rev. Symb. Log. 17(1): 144-153 (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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)

Conference and Workshop Papers

see FAQ

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

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
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
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
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
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
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
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
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
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
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
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
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

Editorship

see FAQ

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

2022
[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]
2021
[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]
2011
[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]

Informal and Other Publications

see FAQ

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

2024
[i27]
- 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)
[i26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-16056
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-16056
Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Fernández-Duque, David Gabelaia:
Logics of polyhedral reachability. CoRR abs/2406.16056 (2024)
2023
[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
[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
[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)
2019
[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
[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
[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)
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
[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
[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
[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
[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)

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.