Evidence and plausibility in neighborhood structures J van Benthem, D Fernandez-Duque, E Pacuit
Annals of Pure and Applied Logic 165 (1), 106-133, 2014
41 2014 Evidence Logic: A New Look at Neighborhood Structures. J Van Benthem, D Fernández-Duque, E Pacuit
Advances in modal logic 9, 97-118, 2012
40 2012 On provability logics with linearly ordered modalities LD Beklemishev, D Fernández-Duque, JJ Joosten
Studia Logica 102 (3), 541-566, 2014
28 2014 Models of transfinite provability logic D Fernández-Duque, JJ Joosten
The Journal of Symbolic Logic 78 (2), 543-561, 2013
26 2013 A logical theory of belief dynamics for resource-bounded agents P Balbiani, D Fernández-Duque, E Lorini
ACM, 2016
21 2016 Non-deterministic semantics for dynamic topological logic D Fernández-Duque
arXiv preprint arXiv:1611.06735, 2016
19 2016 Well-orders in the transfinite Japaridze algebra D Fernández-Duque, JJ Joosten
Logic Journal of the IGPL 22 (6), 933-963, 2014
17 2014 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
17 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
16 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 On the modal definability of simulability by finite transitive models DF Duque
Studia Logica 98 (3), 347, 2011
14 2011 A sound and complete axiomatization for dynamic topological logic D Fernández-Duque
The Journal of Symbolic Logic 77 (3), 947-969, 2012
13 2012 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
The Journal of Symbolic Logic 82 (2), 608-628, 2017
8 2017 