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 | 74 | 2014 |
Evidence logic: A new look at neighborhood structures J Van Benthem, DF Duque, E Pacuit | 70 | 2012 |
On provability logics with linearly ordered modalities LD Beklemishev, D Fernández-Duque, JJ Joosten Studia Logica 102, 541-566, 2014 | 38 | 2014 |
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 | 36 | 2016 |
The dynamics of epistemic attitudes in resource-bounded agents P Balbiani, D Fernández-Duque, E Lorini Studia Logica 107, 457-488, 2019 | 33 | 2019 |
Models of transfinite provability logic D Fernández-Duque, JJ Joosten The Journal of Symbolic Logic 78 (2), 543-561, 2013 | 31 | 2013 |
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 | 30 | 2019 |
Non-deterministic semantics for dynamic topological logic D Fernández Annals of Pure and Applied Logic 157 (2-3), 110-121, 2009 | 27 | 2009 |
The intuitionistic temporal logic of dynamical systems D Fernández-Duque Logical Methods in Computer Science 14, 2018 | 26 | 2018 |
A sound and complete axiomatization for dynamic topological logic D Fernández-Duque The Journal of Symbolic Logic 77 (3), 947-969, 2012 | 26 | 2012 |
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 | 24 | 2013 |
A decidable intuitionistic temporal logic J Boudou, M Diéguez, D Fernández-Duque arXiv preprint arXiv:1704.02847, 2017 | 23 | 2017 |
The polytopologies of transfinite provability logic D Fernández-Duque Archive for Mathematical Logic 53, 385-431, 2014 | 23 | 2014 |
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 | 21 | 2013 |
Tangled modal logic for spatial reasoning DF Duque Twenty-Second International Joint Conference on Artificial Intelligence, 2011 | 20 | 2011 |
The topological mu-calculus: completeness and decidability A Baltag, N Bezhanishvili, D Fernández-Duque Journal of the ACM 70 (5), 1-38, 2023 | 19 | 2023 |
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 | 19 | 2015 |
Forgetting complex propositions D Fernández–Duque, Á Nepomuceno–Fernández, E Sarrión–Morrillo, ... Logic Journal of the IGPL 23 (6), 942-965, 2015 | 18 | 2015 |
Well-orders in the transfinite Japaridze algebra D Fernández-Duque, JJ Joosten Logic Journal of the IGPL 22 (6), 933-963, 2014 | 18 | 2014 |
On the modal definability of simulability by finite transitive models D Fernández Duque Studia Logica 98 (3), 347-373, 2011 | 18 | 2011 |