@inproceedings{22922,
  abstract     = {In this note, we recall the history and our motivation behind the development of Strategy Logic and we discuss some of the work that ensued from its introduction.},
  author       = {Chatterjee, Krishnendu and Henzinger, Thomas A and Piterman, Nir},
  booktitle    = {37th International Conference on Concurrency Theory},
  isbn         = {9783959774475},
  issn         = {1868-8969},
  keywords     = {Strategy Logic, Games, Automata},
  location     = {Liverpool, United Kingdom},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  title        = {{A look back at strategy logic}},
  doi          = {10.4230/LIPIcs.CONCUR.2026.6},
  volume       = {391},
  year         = {2026},
}

