< Terug naar vorige pagina
Onderzoeker
David Fernández-Duque
- Disciplines:Andere wiskunde en statistiek, Toegepaste wiskunde, Wiskundige analyse, Algemene wiskunde, Geschiedenis en grondbeginselen van de wiskunde
Affiliaties
- Vakgroep Wiskunde: Analyse, Logica en Discrete Wiskunde (Departement)
Lid
Vanaf1 jan 2019 → Heden - Vakgroep Wiskunde: Algebra en Meetkunde (Departement)
Lid
Vanaf1 sep 2017 → 31 dec 2018
Projecten
1 - 1 of 1
- Dualiteitstheorie voor verificatieformalismenVanaf1 nov 2023 → HedenFinanciering: FWO senior postdoctoraal mandaat
Publicaties
21 - 30 van 36
- The omega-rule interpretation of transfinite provability logic(2017)
Auteurs: David Fernández-Duque, Joost J Joosten
Pagina's: 333 - 371 - A logical theory of belief dynamics for resource-bounded agents(2016)
Auteurs: Philippe Balbiani, David Fernández-Duque, Emiliano Lorini
Pagina's: 644 - 652 - A case study in almost-perfect security for unconditionally secure communication(2016)
Auteurs: Esteban Landerreche, David Fernández-Duque
Pagina's: 145 - 168 - Secure aggregation of distributed information : how a team of agents can safely share secrets in front of a spy(2016)
Auteurs: David Fernández-Duque, Valentin Goranko
Pagina's: 118 - 135 - Perfectly secure data aggregation via shifted projections(2016)
Auteurs: David Fernández-Duque
Pagina's: 153 - 164 - Forgetting complex propositions(2015)
Auteurs: David Fernández-Duque, Ángel Nepomuceno-Fernández, Enrique Sarrión-Morrillo, Fernando Soler-Toscano, Fernando R Velázquez-Quesada
Pagina's: 942 - 965 - On provability logics with linearly ordered modalities(2014)
Auteurs: Lev D Beklemishev, David Fernández-Duque, Joost J Joosten
Pagina's: 541 - 566 - Well-orders in the transfinite Japaridze algebra(2014)
Auteurs: David Fernández-Duque, Joost J Joosten
Pagina's: 933 - 963 - On the definability of simulation and bisimulation in epistemic logic(2014)
Auteurs: Hans van Ditmarsch, David Fernández-Duque, Wiebe van der Hoek
Pagina's: 1209 - 1227 - The polytopologies of transfinite provability logic(2014)
Auteurs: David Fernández-Duque
Pagina's: 385 - 431