Extending the WMSO+U Logic With Quantification Over Tuples

Anita Badyl, Paweł Parys

We study a new extension of the weak MSO logic, talking about boundedness. Instead of a previously considered quantifier U, expressing the fact that there exist arbitrarily large f…