A look back at strategy logic LIPIcs Chatterjee, Krishnendu ; https://orcid.org/0000-0002-4561-241X Henzinger, Thomas A ; https://orcid.org/0000-0002-2985-7724 Piterman, Nir Strategy Logic Games Automata ddc:000 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. Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026 info:eu-repo/semantics/conferenceObject doc-type:ConferenceObject ConferenceObject http://purl.org/coar/resource_type/c_5794 https://research-explorer.ista.ac.at/record/22922 https://research-explorer.ista.ac.at/download/22922/22977 Chatterjee K, Henzinger TA, Piterman N. A look back at strategy logic. In: <i>37th International Conference on Concurrency Theory</i>. Vol 391. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2026. doi:<a href="https://doi.org/10.4230/LIPIcs.CONCUR.2026.6">10.4230/LIPIcs.CONCUR.2026.6</a> eng info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.CONCUR.2026.6 info:eu-repo/semantics/altIdentifier/issn/1868-8969 info:eu-repo/semantics/altIdentifier/isbn/9783959774475 info:eu-repo/semantics/openAccess