Jan Rooduijn | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Yde Venema
11 publications

research

∙ 07/04/2023

Focus-style proofs for the two-way alternation-free μ-calculus

We introduce a cyclic proof system for the two-way alternation-free moda...

0 Jan Rooduijn, et al. ∙

research

∙ 09/17/2021

Filtration and canonical completeness for continuous modal mu-calculi

The continuous modal mu-calculus is a fragment of the modal mu-calculus,...

0 Jan Rooduijn, et al. ∙