Onderzoeker
David Fernández-Duque
- Disciplines:Andere wiskunde, 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
Publicaties
1 - 10 van 29
- Connecting with computability(2021)Volume: 12813
Auteurs: Liesbeth De Mol, Andreas Weiermann, Florin Manea, David Fernández-Duque
Pagina's: XXIV, 506 p. - Intuitionistic linear temporal logics(2020)
Auteurs: Philippe Balbiani, Joseph Boudou, Martin Dieguez, David Fernández-Duque
Aantal pagina's: 1 - Predicatively unprovable termination of the Ackermannian Goodstein process(2020)
Auteurs: Toshiyasu Arai, David Fernández-Duque, Stanley Wainer, Andreas Weiermann
Pagina's: 3567 - 3582 - Ackermannian Goodstein sequences of intermediate growth(2020)Volume: 12098
Auteurs: David Fernández-Duque, Andreas Weiermann
Pagina's: 163 - A self-contained provability calculus for {\(\Gamma\)}\(_{\mbox0}\)(2019)Volume: 11541
Auteurs: David Fernández-Duque, Eduardo Hermo Reyes, R. Iemhoff, M. Moortgat, R de Queiroz
Pagina's: 195 - 207 - Axiomatic systems and topological semantics for intuitionistic temporal logic(2019)Volume: 11468
Auteurs: Joseph Boudou, Martín Diéguez, David Fernández-Duque, Fabián Romero, F. Calimeri, N. Leone, M. Manna
Pagina's: 763 - 777 - The dynamics of epistemic attitudes in resource-bounded agents(2019)
Auteurs: Philippe Balbiani, David Fernández-Duque, Emiliano Lorini
Pagina's: 457 - 488 - The second order traffic fine : temporal reasoning in European transport regulations(2019)
Auteurs: Ana de Almeida Borges, Juan José Conejero Rodríguez, David Fernández-Duque, Mireia González Bedmar, Joost J. Joosten
Aantal pagina's: 1 - The intuitionistic temporal logic of dynamical systems(2018)
Auteurs: David Fernández-Duque
Aantal pagina's: 1 - The omega-rule interpretation of transfinite provability logic(2017)
Auteurs: David Fernández-Duque, Joost J Joosten
Pagina's: 333 - 371