Jan Rooduijn

1. A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
   2024/05/13 by Jan Rooduijn, Rooduijn, Jan, Dexter Kozen +3 · 1 citation
   Computer Science · Mathematics · #Advanced Algebra and Logic #Algebraic structures and combinatorial models #FOS: Computer and information sciences #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL) #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, programming, and type systems
2. Focus-style proofs for the two-way alternation-free μ-calculus
   2023/07/04 by Jan Rooduijn, Rooduijn, Jan, Yde Venema +1 · 1 citation
   Computer Science · #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #semigroups and automata theory