Follow
David Fernández-Duque
David Fernández-Duque
Professor of Philosophy, University of Barcelona
Verified email at UGent.be - Homepage
Title
Cited by
Cited by
Year
Evidence and plausibility in neighborhood structures
J van Benthem, D Fernández-Duque, E Pacuit
Annals of Pure and Applied Logic 165 (1), 106-133, 2014
742014
Evidence logic: A new look at neighborhood structures
J Van Benthem, DF Duque, E Pacuit
702012
On provability logics with linearly ordered modalities
LD Beklemishev, D Fernández-Duque, JJ Joosten
Studia Logica 102, 541-566, 2014
382014
A logical theory of belief dynamics for resource-bounded agents
P Balbiani, D Fernández-Duque, E Lorini
15th International Joint Conference on Autonomous Agents and Multiagent …, 2016
362016
The dynamics of epistemic attitudes in resource-bounded agents
P Balbiani, D Fernández-Duque, E Lorini
Studia Logica 107, 457-488, 2019
332019
Models of transfinite provability logic
D Fernández-Duque, JJ Joosten
The Journal of Symbolic Logic 78 (2), 543-561, 2013
312013
Intuitionistic linear temporal logics
P Balbiani, J Boudou, M Diéguez, D Fernández-Duque
ACM Transactions on Computational Logic (TOCL) 21 (2), 1-32, 2019
302019
Non-deterministic semantics for dynamic topological logic
D Fernández
Annals of Pure and Applied Logic 157 (2-3), 110-121, 2009
272009
The intuitionistic temporal logic of dynamical systems
D Fernández-Duque
Logical Methods in Computer Science 14, 2018
262018
A sound and complete axiomatization for dynamic topological logic
D Fernández-Duque
The Journal of Symbolic Logic 77 (3), 947-969, 2012
262012
A colouring protocol for the generalized Russian cards problem
A Cordón-Franco, H Van Ditmarsch, D Fernández-Duque, ...
Theoretical Computer Science 495, 81-95, 2013
242013
A decidable intuitionistic temporal logic
J Boudou, M Diéguez, D Fernández-Duque
arXiv preprint arXiv:1704.02847, 2017
232017
The polytopologies of transfinite provability logic
D Fernández-Duque
Archive for Mathematical Logic 53, 385-431, 2014
232014
Hyperations, Veblen progressions and transfinite iteration of ordinal functions
D Fernández-Duque, JJ Joosten
Annals of Pure and Applied Logic 164 (7-8), 785-801, 2013
212013
Tangled modal logic for spatial reasoning
DF Duque
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
202011
The topological mu-calculus: completeness and decidability
A Baltag, N Bezhanishvili, D Fernández-Duque
Journal of the ACM 70 (5), 1-38, 2023
192023
A geometric protocol for cryptography with cards
A Cordón-Franco, H van Ditmarsch, D Fernández-Duque, ...
Designs, Codes and Cryptography 74 (1), 113-125, 2015
192015
Forgetting complex propositions
D Fernández–Duque, Á Nepomuceno–Fernández, E Sarrión–Morrillo, ...
Logic Journal of the IGPL 23 (6), 942-965, 2015
182015
Well-orders in the transfinite Japaridze algebra
D Fernández-Duque, JJ Joosten
Logic Journal of the IGPL 22 (6), 933-963, 2014
182014
On the modal definability of simulability by finite transitive models
D Fernández Duque
Studia Logica 98 (3), 347-373, 2011
182011
The system can't perform the operation now. Try again later.
Articles 1–20