---
res:
  bibo_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.@eng
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Krishnendu
      foaf_name: Chatterjee, Krishnendu
      foaf_surname: Chatterjee
      foaf_workInfoHomepage: http://www.librecat.org/personId=2E5DCA20-F248-11E8-B48F-1D18A9856A87
    orcid: 0000-0002-4561-241X
  - foaf_Person:
      foaf_givenName: Thomas A
      foaf_name: Henzinger, Thomas A
      foaf_surname: Henzinger
      foaf_workInfoHomepage: http://www.librecat.org/personId=40876CD8-F248-11E8-B48F-1D18A9856A87
    orcid: 0000-0002-2985-7724
  - foaf_Person:
      foaf_givenName: Nir
      foaf_name: Piterman, Nir
      foaf_surname: Piterman
  bibo_doi: 10.4230/LIPIcs.CONCUR.2026.6
  bibo_volume: 391
  dct_date: 2026^xs_gYear
  dct_isPartOf:
  - http://id.crossref.org/issn/1868-8969
  - http://id.crossref.org/issn/9783959774475
  dct_language: eng
  dct_publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik@
  dct_subject:
  - Strategy Logic
  - Games
  - Automata
  dct_title: A look back at strategy logic@
...