David Fernández–Duque
- 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
- 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
- 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
- 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