4 citations · 5 across the 3 of their papers we have counts for
3 papers · 1 filter
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…
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…
Bouncing threads for infinitary and circular proofs
David Baelde, Amina Doumane, Denis Kuperberg +1
We generalize the validity criterion for the infinitary proof system of the multiplicative additive linear logic with fixed points. Our criterion is designed to take into account a…