Logics for reasoning about strategic behaviours in Multi-agent Systems