Fabio Mogavero, Aniello Murano, Luigi Sauro. A Behavioral Hierarchy of Strategy Logic. In Nils Bulling, Leendert W. N. van der Torre, Serena Villata, Wojtek Jamroga, Wamberto Vasconcelos, editors, Computational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings. Volume 8624 of Lecture Notes in Computer Science, pages 148-165, Springer, 2014. [doi]
Abstract is missing.