From the 1 of 3 linked papers with an AI index.
3 papers
cs.LO2026
A Dichotomy Theorem for Ordinal Ranks in MSO
Damian NiwiÅski, PaweÅ Parys, MichaÅ Skrzypczak
The paper investigates monadic second‑order formulas over the full binary tree that require a well‑founded witness set, defines an ordinal rank for such sets, and proves a decidabl…
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.LO2024
On the Computability of Measures of Regular Sets of Infinite Trees
Damian NiwiÅski, PaweÅ Parys, MichaÅ Skrzypczak
The Rabin tree theorem yields an algorithm to solve the satisfiability problem for monadic second-order logic over infinite trees. Here we solve the probabilistic variant of this p…