Fernández-Duque, David
- Models of transfinite provability logic
2012/04/21 by Fernández-Duque, David, Joosten, Joost J. · 1 citation
#FOS: Mathematics #Logic (math.LO)
- Hyperations, Veblen progressions and transfinite iterations of ordinal\n functions
2012/05/09 by David Fernández–Duque, Joost J. Joosten, Fernández-Duque, David +1 · 1 citation
Computer Science · Mathematics · #Advanced Algebra and Logic #Advanced Combinatorial Mathematics #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Logic, programming, and type systems #semigroups and automata theory
- A case study in almost-perfect security for unconditionally secure\n communication
2015/06/12 by Esteban Landerreche, Landerreche, Esteban, David Fernández–Duque +1 · 1 citation
Computer Science · Engineering · #Coding theory and cryptography #Cryptographic Implementations and Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #graph theory and CDMA systems
- Forgetting complex propositions
2015/07/04 by Fernández-Duque, David, Nepomuceno-Fernández, Ángel, Sarrión-Morrillo, Enrique +2 · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Strong Completeness of Provability Logic for Ordinal Spaces
2015/11/18 by Aguilera, Juan P., Fernández-Duque, David · 1 citation
#FOS: Mathematics #Logic (math.LO)
- A Decidable Intuitionistic Temporal Logic
2017/04/10 by Boudou, Joseph, Diéguez, Martín, Fernández-Duque, David · 1 citation
#FOS: Mathematics #Logic (math.LO)
- Axiomatic systems and topological semantics for intuitionistic temporal logic
2018/03/13 by Boudou, Joseph, Diéguez, Martín, Fernández-Duque, David +1 · 1 citation
#FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
- An intuitionistic axiomatization of `eventually'
2018/04/09 by Diéguez, Martín, Fernández-Duque, David · 1 citation
#FOS: Mathematics #Logic (math.LO)
- Gödel-Dummett linear temporal logic
2023/06/27 by Juan P. Aguilera, Aguilera, Juan Pablo, Martín Diéguez +5 · 2 citations
Computer Science · #Advanced Algebra and Logic #Artificial Intelligence (cs.AI) #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
- Predicatively unprovable termination of the Ackermannian Goodstein process
2019/05/31 by Arai, Toshiyasu, Fernández-Duque, David, Wainer, Stanley +1 · 1 citation
#FOS: Mathematics #Logic (math.LO)
- Intuitionistic Linear Temporal Logics
2019/12/30 by Balbiani, Philippe, Boudou, Joseph, Diéguez, Martín +1 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Symbolic Computation (cs.SC)
- The Topological Mu-Calculus: completeness and decidability
2021/05/18 by Alexandru Baltag, Baltag, Alexandru, Nick Bezhanishvili +3 · 1 citation
Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Semantic Web and Ontologies
- Fast Goodstein Walks
2021/11/30 by Fernández-Duque, David, Weiermann, Andreas · 1 citation
#FOS: Mathematics #Logic (math.LO)
- Some constructive variants of S4 with the finite model property
2021/04/30 by Philippe Balbiani, Martín Diéguez, Balbiani, Philippe +3 · 1 citation
Computer Science · #Advanced Algebra and Logic #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems