Comparing Variants of Strategic Ability
Wojtek Jamroga and Nils Bulling
Alternating-time temporal logic (ATL) has been studied extensively in previous years. However, most of the research was focused on the way such logics can be used for specification and verification of multi-agent systems. Studies of other decision problems and meta-properties of the logic were mostly limited to the basic variant of \atl where agents possess perfect information and perfect memory. In this paper, we show that different assumptions about agents' knowledge and memory in ATL give rise to different validity sets. As a consequence, we prove that different notions of ability induce different strategic logics and different general properties of games. Moreover, the study can be seen as the first systematic step towards satisfiability-checking algorithms for ATL with imperfect information.