@misc{indiciae9c488f918226, title = {Exact Complexity of the Satisfiability Problem for Strategy Logic}, author = {Tikhon Pshenitsyn}, year = {2026}, url = {https://arxiv.org/abs/2609.16173}, note = {Source identifier: 2609.16173} }