- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j12 |      | David Fernández Duque, Joost J. Joosten: Hyperations, Veblen progressions and transfinite iteration of ordinal functions. Ann. Pure Appl. Logic 164(7-8): 785-801 (2013) |
| i5 | | Andrés Cordón-Franco, Hans P. van Ditmarsch, David Fernández Duque, Fernando Soler-Toscano: A geometric protocol for cryptography with cards. CoRR abs/1301.4289 (2013) |
| 2012 | ||
| j11 | | David Fernández Duque: Tangled modal logic for topological dynamics. Ann. Pure Appl. Logic 163(4): 467-481 (2012) |
| j10 | | Ángel Nepomuceno-Fernández, Francisco J. Salguero-Lamillar, David Fernández Duque: Tableaux for structural abduction. Logic Journal of the IGPL 20(2): 388-399 (2012) |
| j9 | | Fernando Soler-Toscano, David Fernández Duque, Ángel Nepomuceno-Fernández: A modal framework for modelling abductive reasoning. Logic Journal of the IGPL 20(2): 438-444 (2012) |
| j8 | | David Fernández Duque: Dynamic topological logic of metric spaces. J. Symb. Log. 77(1): 308-328 (2012) |
| j7 | | David Fernández Duque: A sound and complete axiomatization for Dynamic Topological Logic. J. Symb. Log. 77(3): 947-969 (2012) |
| c8 | | Johan van Benthem, David Fernández Duque, Eric Pacuit: Evidence Logic: A New Look at Neighborhood Structures. Advances in Modal Logic 2012: 97-118 |
| c7 | | David Fernández Duque, Joost J. Joosten: Kripke Models of Transfinite Provability Logic. Advances in Modal Logic 2012: 185-199 |
| c6 | | David Fernández Duque: Non-finite Axiomatizability of Dynamic Topological Logic. Advances in Modal Logic 2012: 200-216 |
| c5 | | David Fernández Duque, Joost J. Joosten: Turing Progressions and Their Well-Orders. CiE 2012: 212-221 |
| i4 | | David Fernández Duque: A sound and complete axiomatization for Dynamic Topological Logic. CoRR abs/1201.5162 (2012) |
| i3 | | David Fernández Duque: Non-finite axiomatizability of Dynamic Topological Logic. CoRR abs/1207.5140 (2012) |
| i2 | | Andrés Cordón-Franco, Hans P. van Ditmarsch, David Fernández Duque, Fernando Soler-Toscano: A colouring protocol for the generalized Russian cards problem. CoRR abs/1207.5216 (2012) |
| 2011 | ||
| j6 | | Hans P. van Ditmarsch, David Fernández Duque, Valentin Goranko, Wojtek Jamroga, Manuel Ojeda-Aciego: Preface. Electr. Notes Theor. Comput. Sci. 278: 1-2 (2011) |
| j5 | | David Fernández Duque: Dynamic Topological Logic Interpreted over Minimal Systems. J. Philosophical Logic 40(6): 767-804 (2011) |
| j4 | | David Fernández Duque: On the Modal Definability of Simulability by Finite Transitive Models. Studia Logica 98(3): 347-373 (2011) |
| c4 | | Hans P. van Ditmarsch, David Fernández Duque, Wiebe van der Hoek: On the Definability of Simulability and Bisimilarity by Finite Epistemic Models. CLIMA 2011: 74-87 |
| c3 | | Michael H. Albert, Andrés Cordón-Franco, Hans P. van Ditmarsch, David Fernández Duque, Joost J. Joosten, Fernando Soler-Toscano: Secure Communication of Local States in Interpreted Systems. DCAI 2011: 117-124 |
| c2 | | |
| i1 | | Andrés Cordón-Franco, Hans P. van Ditmarsch, David Fernández Duque, Joost J. Joosten, Fernando Soler-Toscano: A secure additive protocol for card players. CoRR abs/1111.0156 (2011) |
| 2010 | ||
| c1 | | David Fernández Duque: Absolute Completeness of S4u for Its Measure-Theoretic Semantics. Advances in Modal Logic 2010: 100-119 |
| 2009 | ||
| j3 | | David Fernández Duque: Non-deterministic semantics for dynamic topological logic. Ann. Pure Appl. Logic 157(2-3): 110-121 (2009) |
| 2007 | ||
| j2 | | David Fernández Duque: Dynamic Topological Completeness for R2. Logic Journal of the IGPL 15(1): 77-107 (2007) |
| 2006 | ||
| j1 | | David Fernández Duque: A polynomial translation of S4 into intuitionistic logic. J. Symb. Log. 71(3): 989-1001 (2006) |
Data released under the ODC-BY 1.0 license — See also our legal information page