Scalar and Vectorial mu-calculus with Atoms

Bartek Klin, Mateusz Łełyk

We study an extension of modal $\mu$-calculus to sets with atoms and we study its basic properties. Model checking is decidable on orbit-finite structures, and a correspondence to pa…