Boudou, Joseph

1. 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)
2. 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)
3. 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)