van der Hoek, W.; Wooldridge, M. Logics for Multiagent Systems. AIMag 2012, 33, 92.