Get started
Author

David Fernández–Duque

Observed names: D. FERNÁNDEZ-DUQUE, D. Fernandez-Duque, D. Fernández-Duque, DAVID FERNÁNDEZ-DUQUE, David Fernandez Duque, David Fernandez-Duque, David FernÁndez-Duque, David Fernández Duque, David Fernández-Duque, David Fernández-duque, David Fernández‐Duque, Duque, David Fernández, Fernandez-Duque, David, Fernández Duque, David, Fernández-Duque, D., Fernández-Duque, David
Institutions: HOGENT University of Applied Sciences and Arts, Ghent University Hospital, Ghent University, Barcelona Graduate School of Mathematics, Universitat de Barcelona, University of Amsterdam
Observed institutions: New Mexico State University, National Research University Higher School of Economics, HOGENT University of Applied Sciences and Arts, Centre National de la Recherche Scientifique, University of Liverpool, Instituto Tecnológico Autónomo de México, Lomonosov Moscow State University, Czech Academy of Sciences, Ghent University Hospital, Ghent University, Barcelona Graduate School of Mathematics, Institut de Recherche en Informatique de Toulouse, Czech Academy of Sciences, Institute of Computer Science, Université de Toulouse, Centre International de Mathématiques et Informatique de Toulouse, Universitat de Barcelona, Universidad de Sevilla, University of Amsterdam, Stanford University
ORCID: 0000-0001-8604-4183
Observed ORCID: 0000-0001-8604-4183
OpenAlex ID: A5080309379
Evidence and plausibility in neighborhood structures
2013 · Johan van Benthem, David Fernández-Duque, et al. · Annals of Pure and Applied Logic · 68
Evidence Logic: A New Look at Neighborhood Structures
2012 · van Benthem, J., Fernández-Duque, D., et al. · UvA-DARE (University of Amsterdam) · 51
The Dynamics of Epistemic Attitudes in Resource-Bounded Agents
2018 · Philippe Balbiani, David Fernández-Duque, et al. · Studia Logica · 37
PDF
On Provability Logics with Linearly Ordered Modalities
2013 · Lev D. Beklemishev, David Fernández-Duque, et al. · Studia Logica · 32
Intuitionistic Linear Temporal Logics
2019 · Philippe Balbiani, Joseph Boudou, et al. · ACM Transactions on Computational Logic · 25
A Logical Theory of Belief Dynamics for Resource-Bounded Agents
2016 · Philippe Balbiani, David Fernández-Duque, et al. · Adaptive Agents and Multi-Agents Systems · 25
PDF
Models of transfinite provability logic
2013 · David Fernández-Duque, Joost J. Joosten · Journal of Symbolic Logic · 22
A sound and complete axiomatization for Dynamic Topological Logic
2012 · David Fernández-Duque · Journal of Symbolic Logic · 22
A colouring protocol for the generalized Russian cards problem
2013 · Andrés Cordón-Franco, Hans van Ditmarsch, et al. · Theoretical Computer Science · 19
A Decidable Intuitionistic Temporal Logic
2017 · Boudou, Joseph, Diéguez, Martín, et al. · arXiv (Cornell University) · 18
PDF
Tangled modal logic for spatial reasoning
2011 · David Fernández–Duque · International Joint Conference on Artificial Intelligence · 17
On the Modal Definability of Simulability by Finite Transitive Models
2011 · David Fernández Duque · Studia Logica · 16
Well-orders in the transfinite Japaridze algebra
2014 · D. Fernandez-Duque, J. J. Joosten · Logic Journal of IGPL · 15
PDF
The omega-rule interpretation of transfinite provability logic
2017 · David Fernández-Duque, Joost J. Joosten · Annals of Pure and Applied Logic · 14
PDF
The polytopologies of transfinite provability logic
2014 · David Fernández-Duque · Archive for Mathematical Logic · 14
Hyperations, Veblen progressions and transfinite iteration of ordinal functions
2013 · David Fernández-Duque, Joost J. Joosten · Annals of Pure and Applied Logic · 14
PDF
Strong Completeness of Provability Logic for Ordinal Spaces
2017 · JUAN P. AGUILERA, DAVID FERNÁNDEZ-DUQUE · Journal of Symbolic Logic · 13
PDF
A modal framework for modelling abductive reasoning
2010 · F. Soler-Toscano, D. Fernandez-Duque, et al. · Logic Journal of IGPL · 13
The intuitionistic temporal logic of dynamical systems
2018 · David Fernández-Duque · Logical Methods in Computer Science · 12
PDF
A geometric protocol for cryptography with cards
2013 · Andrés Cordón-Franco, Hans van Ditmarsch, et al. · Designs Codes and Cryptography · 12
PDF
On the definability of simulation and bisimulation in epistemic logic
2012 · H. van Ditmarsch, D. Fernandez-Duque, et al. · Journal of Logic and Computation · 12
Secure Communication of Local States in Interpreted Systems
2011 · Michael Albert, Andrés Cordón-Franco, et al. · Advances in intelligent and soft computing · 12
Forgetting complex propositions
2015 · David Fernández–Duque, Ángel Nepomuceno–Fernández, et al. · Logic Journal of IGPL · 11
PDF
Non-finite axiomatizability of dynamic topological logic
2014 · David Fernández-Duque · ACM Transactions on Computational Logic · 11
The Topological Mu-Calculus: completeness and decidability
2021 · Alexandru Baltag, Nick Bezhanishvili, et al. · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 10
Works count: 147
Citation count: 778
H-index: 14
I10-index: 28
Year
Topic
Type