Dependency Matrices for Multiplayer Strategic Dependencies. - Dylan Bellier; Sophie Pinchinat; François Schwarzentruber (FSTTCS, 2022)

Good-for-Game QPTL: An Alternating Hodges Semantics. - Dylan Bellier; Massimo Benerecetti; Dario Della Monica; Fabio Mogavero (ACM Trans. Comput. Log., 2023)

Alternating (In)Dependence-Friendly Logic. - Dylan Bellier; Massimo Benerecetti; Dario Della Monica; Fabio Mogavero (Ann. Pure Appl. Log., 2023)

Plan Logic. - Dylan Bellier; Massimo Benerecetti; Fabio Mogavero; Sophie Pinchinat (FSTTCS, 2024)

Strategic reasoning with dependencies: hyperteam logics, realizable strategies, dependency matrices. (Raisonnement stratégique avec dépendances: logique d'hyperteam, stratégies réalisables, matrices de dépendance). - Dylan Bellier (2024)