Joseph Boudou

1. Axiomatic systems and topological semantics for intuitionistic temporal logic
   2018/03/13 by Joseph Boudou, Boudou, Joseph, Martín Diéguez +5 · 1 citation
   Computer Science · Mathematics · #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #cs.LO #math.LO
2. Intuitionistic Linear Temporal Logics
   2019/12/30 by Philippe Balbiani, Joseph Boudou, Balbiani, Philippe +5 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Symbolic Computation (cs.SC) #cs.AI #cs.LO #cs.SC
3. A Decidable Intuitionistic Temporal Logic
   2017/04/10 by Joseph Boudou, Boudou, Joseph, Martín Diéguez +3 · 2 citations
   Mathematics · #FOS: Mathematics #Logic (math.LO) #math.LO