@ARTICLE{sl2,
   AUTHOR = "Thomas {\AA}gotnes and Wiebe van der Hoek and Juan A. Rodriguez-Aguilar and
Carles Sierra and Michael Wooldridge",
   TITLE = "Multi-Modal {CTL}: Completeness, Complexity and an Application",
   JOURNAL = "Studia Logica",
   VOLUME = 92,
   NUMBER = 1,
   PAGES = "1--26",
   YEAR = 2009}