Alternating Set Quantifiers in Modal Logic

Fabian Reiter

We establish the strictness of several set quantifier alternation hierarchies that are based on modal logic, evaluated on various classes of finite graphs. This extends to the moda…