Logotipo de Universidad de Sevilla
VICERRECTORADO DE INVESTIGACIÓN
Logotipo Andalucía Tech
Letras Universidad de Sevilla

Ficha personal - David Fernández Duque


David Fernández Duque
Telefono: 954557949
Email: Solicitar correo
Perfil en ORCID: 0000-0001-8604-4183

Grupo de Investigación: Logica, Computacion e Ingenieria del Conocimiento
Departamento/Unidad: Ciencias de la Computación e Inteligencia Artificial
Situación profesional: Profesor Sustituto Interino

Participa en los siguientes proyectos/ayudas en la US:

  • Proyectos:
    • Conciencia, Lógica y Computación (FFI2011-29609-C02-01 - Investigador)
    • La dinámica del conocimiento en el ámbito de las ciencias sociales: abducción, intuición e invención (AIB2010PT-00106 - Otro Investigador)
    • Interpretaciones Alternativas de Lógicas no Clásicas (Ialnoc) (P10-HUM-5844 - Investigador)
    • Lógica de Protocolos Incondicionalmente Seguros (P08-HUM-04159 - Investigador)
    • Lógica y lenguaje: ambigüedad en el discurso y elaboración del contexto (HUM2007-65053 - Investigador)

  • Ayudas:
    • Incentivo al Grupo de Investigación TIC-137 (2017/TIC-137 - Investigador)
    • Incentivo al Grupo de Investigación HUM-609 (2011/HUM-609 - Investigador)
    • Incentivo al Grupo de Investigación HUM-609 (2010/HUM-609 - Investigador)
    • Epistemic protocol synthesis (STARTING GRANT) (FFI2011-15945-E - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación HUM-609 (2009/HUM-609 - Investigador)

Cobertura de la base de datos de proyectos, véase aqui


Publicaciones:

Capítulos en Libros
Albert, Michael, Cordon Franco, Andres, Van Ditmarsch, Hans, Fernandez Duque, David, Joosten, Joost Johannes, et. al.:
Secure Communication of Local States in Interpreted Systems. Pag. 117-124. En: International Symposium on Distributed Computing and Artificial Intelligence. 2011. ISBN 978-3-642-22358-7

Nepomuceno Fernandez, Angel, Fernandez Duque, David:
Razonamiento Explicativo en Contextos Inferenciales. Pag. 119-129. En: Estudios de Lógica, Lenguaje y Epistemología. Fénix Editora. 2010. 449. ISBN 9788461442911

Publicaciones en Revistas
Cordon Franco, Andres, Fernandez Duque, David, Joosten, Joost Johannes, Lara Martin, Francisco Felix:
Predicativity through transfinite recursion. En: The Journal of Symbolic Logic. 2017. Vol. 82. Núm. 3. Pag. 787-808

Fernandez Duque, David, Nepomuceno Fernandez, Angel, Sarrión Morillo, Enrique, Soler Toscano, Fernando, Velázquez Quesada, Fernando Raymundo:
Forgetting complex propositions. En: Interest Group in Pure and Applied Logics. Logic Journal. 2015. Vol. 23. Núm. 6. Pag. 942-965. 10.1093/jigpal/jzv049

Cordon Franco, Andres, Van Ditmarsch, Hans, Fernandez Duque, David, Soler Toscano, Fernando:
A geometric protocol for cryptography with cards. En: Designs, Codes, and Cryptography. 2015. Vol. 74. Núm. 1. Pag. 113-125. 10.1007/s10623-013-9855-y

Cordon Franco, Andres, Van Ditmarsch, Hans, Fernandez Duque, David, Soler Toscano, Fernando:
A colouring protocol for the generalized Russian cards problem. En: Theoretical Computer Science. 2013. Vol. 495. Pag. 81-95. 10.1016/j.tcs.2013.05.010

Fernandez Duque, David:
Articulo en prensa: Hyperations, Veblen progressions, and transfinite iteration of ordinal functions. 2013

Fernandez Duque, David:
A sound and complete axiomatization for dynamic topological logic. En: The Journal of Symbolic Logic. 2012. Vol. 77. Núm. 3. Pag. 947-969

Cordon Franco, Andres, Van Ditmarsch, Hans, Fernandez Duque, David, Joosten, Joost Johannes, Soler Toscano, Fernando:
A secure additive protocol for card players. En: Australasian Journal of Combinatorics. 2012. Vol. 54. Pag. 163-175

Fernandez Duque, David:
Tangled modal logic for topological dynamics. En: Annals of pure and applied logic (Print). 2012. Vol. 163. Núm. 4. Pag. 467-481

Fernandez Duque, David:
Dynamic topological logic of metric spaces. En: The Journal of Symbolic Logic. 2012. Vol. 77. Núm. 1. Pag. 308-328

Soler Toscano, Fernando, Fernandez Duque, David, Nepomuceno Fernandez, Angel:
A modal framework for modelling abductive reasoning. En: Interest Group in Pure and Applied Logics. Logic Journal. 2012. Vol. 20. Núm. 2. Pag. 438-444. 10.1093/jigpal/jzq059

Salguero Lamillar, Francisco Jose, Fernandez Duque, David, Nepomuceno Fernandez, Angel:
Tableaux for Structural Abduction. En: Interest Group in Pure and Applied Logics. Logic Journal. 2012. Vol. 20. Núm. 2. Pag. 388-399. 10.1093/jigpal/jzq054

Ojeda Aciego, Manuel, Van Ditmarsch, Hans, Fernandez Duque, David, Goranko, Valentin, Jamroga, Wojtek:
Editorial: Preface to the special issue on Methods for Modalities. En: Electronic Notes in Theoretical Computer Science. 2011. Vol. 278. Pag. 1-2. http://dx.doi.org/10.1016/j.entcs.2011.10.001

Fernandez Duque, David:
On the Definability of Simulability by Finite Transitive Models. En: Studia Logica. 2011. Pag. 1-27

Fernandez Duque, David:
Absolute Completeness of S4u for Its Measure-Theoretic Semantics. En: Advances in Modal Logic. 2010. Vol. 8. Pag. 100-119

Fernandez Duque, David:
Dynamic Topological Logic Interpreted Over Minimal Systems. En: Journal of Philosophical Logic. 2010. Pag. 1-38

Fernandez Duque, David:
Non-Deterministic Semantics for Dynamic Topological Logic. En: Annals of pure and applied logic (Print). 2009. Vol. 157. Núm. 2-3. Pag. 110-121

Fernandez Duque, David:
Dynamic Topological Completeness for R2. En: Interest Group in Pure and Applied Logics. Logic Journal. 2007. Vol. 15. Núm. 1. Pag. 77-107

Fernandez Duque, David:
A Polynomial Translation of S4 Into Intuitionistic Logic. En: The Journal of Symbolic Logic. 2006. Vol. 71. Núm. 3. Pag. 989-1001

Aportaciones a Congresos
Albert, Michael, Cordon Franco, Andres, Van Ditmarsch, Hans, Fernandez Duque, David, Joosten, Joost Johannes, et. al.:
Secure communication of local states in interpreted systems. Comunicación en congreso. DCAI-2011: International Symposium on Distributed Computing and Artificial Intelligence. Rectorado de la Universidad de Salamanca. 2011

Albert, Michael, Cordon Franco, Andres, Van Ditmarsch, Hans, Fernandez Duque, David, Joosten, Joost Johannes, et. al.:
Secure Communication of Local States in Multi-Agent Systems. Comunicación en congreso. Logics in Security. Copenhague, Dinamarca. 2010

Van Ditmarsch, Hans, Gomez-Caminero Parejo, Emilio Francisco, Fernandez Duque, David, Nepomuceno Fernandez, Angel, Cordon Franco, Andres:
Two Mischievous Dynamic Consequence Relations. Comunicación en congreso. Ilcli International Workshop on Logic and Philosophy of Knowledge, Communication and Action. Zarautz, Spain. 2010

Nepomuceno Fernandez, Angel, Fernandez Duque, David:
Abducción Estructural. Ponencia en Congreso. IV Jornadas Ibéricas de Lógica y Filosofía de la Ciencia. 2009

Fernandez Duque, David:
Dynamic Topological Completeness for the Plane. Comunicación en congreso. Tacl. Amsterdam. 2009

Soler Toscano, Fernando, Fernandez Duque, David, Nepomuceno Fernandez, Angel:
A Modal Framework for Modelling Abductive Reasoning. Comunicación en congreso. Model-Based Reasoning in Science and Technology. Campinas, Brasil. 2009

Vicerrectorado de Investigación. Universidad de Sevilla. Pabellón de Brasil. Paseo de las Delicias s/n. Sevilla