2 papers
cs.LO2026
Generalised Quantifiers Based on Rabin-Mostowski Index
Denis Kuperberg, Damian NiwiÅski, PaweÅ Parys +1
In this work we introduce new generalised quantifiers which allow us to express the Rabin-Mostowski index of automata. Our main results study expressive power and decidability of t…
cs.LO2025
Tree algebras and bisimulation-invariant MSO on finite graphs
Thomas Colcombet, Amina Doumane, Denis Kuperberg
We establish that the bisimulation invariant fragment of MSO over finite transition systems is expressively equivalent over finite transition systems to modal mu-calculus, a questi…