David Fernández-Duque
David Fernández-Duque
Geverifieerd e-mailadres voor UGent.be - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
422014
Evidence logic: A new look at neighborhood structures
J Van Benthem, DF Duque, E Pacuit
422012
On provability logics with linearly ordered modalities
LD Beklemishev, D Fernández-Duque, JJ Joosten
Studia Logica 102 (3), 541-566, 2014
302014
Models of transfinite provability logic
D Fernández-Duque, JJ Joosten
Journal of Symbolic Logic 78 (2), 543-561, 2013
272013
A logical theory of belief dynamics for resource-bounded agents
P Balbiani, D Fernández-Duque, E Lorini
ACM, 2016
212016
Well-orders in the transfinite Japaridze algebra
D Fernández-Duque, JJ Joosten
Logic Journal of the IGPL 22 (6), 933-963, 2014
192014
Non-deterministic semantics for dynamic topological logic
D Fernández
Annals of Pure and Applied Logic 157 (2-3), 110-121, 2009
192009
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
182013
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
172013
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
152015
The polytopologies of transfinite provability logic
D Fernández-Duque
Archive for Mathematical Logic 53 (3-4), 385-431, 2014
142014
A sound and complete axiomatization for dynamic topological logic
D Fernández-Duque
Journal of Symbolic Logic 77 (3), 947-969, 2012
142012
On the modal definability of simulability by finite transitive models
DF Duque
Studia Logica 98 (3), 347, 2011
142011
Dynamic Topological Completeness for
DFÁ Duque
Logic Journal of the IGPL 15 (1), 77-107, 2007
132007
The omega-rule interpretation of transfinite provability logic
D Fernández-Duque, JJ Joosten
arXiv preprint arXiv:1302.5393, 2013
122013
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
122012
Tangled modal logic for spatial reasoning
DF Duque
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
122011
A decidable intuitionistic temporal logic
J Boudou, M Diéguez, D Fernández-Duque
arXiv preprint arXiv:1704.02847, 2017
112017
Kripke Models of Transfinite Provability Logic.
D Fernández-Duque, JJ Joosten
Advances in Modal Logic 9, 185-199, 2012
102012
Strong completeness of provability logic for ordinal spaces
JP Aguilera, D Fernández-Duque
arXiv preprint arXiv:1511.05882, 2015
92015
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20