Evidence logic: A new look at neighborhood structures J Van Benthem, DF Duque, E Pacuit
63 2012 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
60 2014 On provability logics with linearly ordered modalities LD Beklemishev, D Fernández-Duque, JJ Joosten
Studia Logica 102, 541-566, 2014
36 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
32 2016 Models of transfinite provability logic D Fernández-Duque, JJ Joosten
The Journal of Symbolic Logic 78 (2), 543-561, 2013
31 2013 Non-deterministic semantics for dynamic topological logic D Fernández
Annals of Pure and Applied Logic 157 (2-3), 110-121, 2009
26 2009 The dynamics of epistemic attitudes in resource-bounded agents P Balbiani, D Fernández-Duque, E Lorini
Studia Logica 107, 457-488, 2019
25 2019 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
23 2013 A sound and complete axiomatization for dynamic topological logic D Fernández-Duque
The Journal of Symbolic Logic 77 (3), 947-969, 2012
23 2012 The intuitionistic temporal logic of dynamical systems D Fernández-Duque
Logical Methods in Computer Science 14, 2018
20 2018 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
20 2013 Tangled modal logic for spatial reasoning DF Duque
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
20 2011 The polytopologies of transfinite provability logic D Fernández-Duque
Archive for Mathematical Logic 53, 385-431, 2014
19 2014 A geometric protocol for cryptography with cards A Cordón-Franco, H van Ditmarsch, D Fernández-Duque, ...
Designs, Codes and Cryptography 74, 113-125, 2015
18 2015 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
17 2019 A decidable intuitionistic temporal logic J Boudou, M Diéguez, D Fernández-Duque
arXiv preprint arXiv:1704.02847, 2017
17 2017 On the modal definability of simulability by finite transitive models DF Duque
Studia Logica, 347-373, 2011
17 2011 Well-orders in the transfinite Japaridze algebra D Fernández-Duque, JJ Joosten
Logic Journal of the IGPL 22 (6), 933-963, 2014
16 2014 Dynamic Topological Completeness for DFÁ Duque
Logic Journal of the IGPL 15 (1), 77-107, 2007
15 2007 The omega-rule interpretation of transfinite provability logic D Fernández-Duque, JJ Joosten
arXiv preprint arXiv:1302.5393, 2013
14 2013 