Logics for Reasoning About Strategic Abilities in Multi-player Games
2015 ◽
pp. 93-136
◽