Comparing Variants of Strategic Ability

A systematic study on the abstract level is the first step towards algorithms that solve the problem. We show that different semantics of ability in ATL Ultimately, we show that what agents can achieve is more give rise to different validity sets. As a consequence, sensitive to the strategic model of an agent (and a precise notion different notions of ability induce different of achievement) than it was generally realized. No less strategic logics and different general properties importantly, our study reveals that some natural properties - of games. Moreover, the study can be seen as the usually taken for granted when reasoning about action - may first systematic step towards satisfiability-checking cease to be universally true if we change the strategic setting.