research
∙
07/31/2022
Countdown μ-calculus
We introduce the countdown μ-calculus, an extension of the modal μ-calcu...
share
research
∙
01/24/2022
Monadic Monadic Second Order Logic
One of the main reasons for the correspondence of regular languages and ...
research
∙
07/22/2019
Codensity Games for Bisimilarity
Bisimilarity as an equivalence notion of systems has been central to pro...
research
∙
03/18/2018
Scalar and Vectorial mu-calculus with Atoms
We study an extension of modal mu-calculus to sets with atoms and we stu...
research
∙
02/23/2018