Jin, Ruiqi, et al. “A Modal Logic for Joint Abilities of Structured Strategies With Bounded Complexity”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 39, no. 14, Apr. 2025, pp. 15014-23, doi:10.1609/aaai.v39i14.33646.