Reasoning about graded strategy quantifiers.

In this paper we introduce and study Graded Strategy Logic (GSL), an extension of Strategy Logic (SL) with graded quantifiers. SL is a powerful formalism that allows to describe useful game concepts in multi-agent settings by explicitly quantifying over strategies treated as first-order citizens. In GSL, by means of the existential construct 《x≥g》φ, one can enforce that there exist at least g strategies x satisfying φ. Dually, via the universal construct 〚x更多