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
42 2014 Evidence logic: A new look at neighborhood structures J Van Benthem, DF Duque, E Pacuit
42 2012 On provability logics with linearly ordered modalities LD Beklemishev, D Fernández-Duque, JJ Joosten
Studia Logica 102 (3), 541-566, 2014
30 2014 Models of transfinite provability logic D Fernández-Duque, JJ Joosten
Journal of Symbolic Logic 78 (2), 543-561, 2013
27 2013 A logical theory of belief dynamics for resource-bounded agents P Balbiani, D Fernández-Duque, E Lorini
ACM, 2016
21 2016 Well-orders in the transfinite Japaridze algebra D Fernández-Duque, JJ Joosten
Logic Journal of the IGPL 22 (6), 933-963, 2014
19 2014 Non-deterministic semantics for dynamic topological logic D Fernández
Annals of Pure and Applied Logic 157 (2-3), 110-121, 2009
19 2009 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
18 2013 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
17 2013 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
15 2015 The polytopologies of transfinite provability logic D Fernández-Duque
Archive for Mathematical Logic 53 (3-4), 385-431, 2014
14 2014 A sound and complete axiomatization for dynamic topological logic D Fernández-Duque
Journal of Symbolic Logic 77 (3), 947-969, 2012
14 2012 On the modal definability of simulability by finite transitive models DF Duque
Studia Logica 98 (3), 347, 2011
14 2011 Dynamic Topological Completeness for DFÁ Duque
Logic Journal of the IGPL 15 (1), 77-107, 2007
13 2007 The omega-rule interpretation of transfinite provability logic D Fernández-Duque, JJ Joosten
arXiv preprint arXiv:1302.5393, 2013
12 2013 A modal framework for modelling abductive reasoning F Soler-Toscano, D Fernández-Duque, Á Nepomuceno-Fernández
Logic Journal of IGPL 20 (2), 438-444, 2012
12 2012 Tangled modal logic for spatial reasoning DF Duque
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
12 2011 A decidable intuitionistic temporal logic J Boudou, M Diéguez, D Fernández-Duque
arXiv preprint arXiv:1704.02847, 2017
11 2017 Kripke Models of Transfinite Provability Logic. D Fernández-Duque, JJ Joosten
Advances in Modal Logic 9, 185-199, 2012
10 2012 Strong completeness of provability logic for ordinal spaces JP Aguilera, D Fernández-Duque
arXiv preprint arXiv:1511.05882, 2015
9 2015 