Juan P. Aguilera
- Gödel-Dummett linear temporal logic
2023/06/27 by Juan P. Aguilera, Martín Diéguez, Aguilera, Juan Pablo +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
- Large cardinals, structural reflection, and the HOD Conjecture
2024/11/18 by Juan P. Aguilera, Joan Bagaria, Aguilera, Juan P. +3 · 6 voices
Mathematics · #03C55 #03E45 #03E55 #03E65 #18A15 #FOS: Mathematics #Logic (math.LO) #math.LO