Good-for-Game QPTL: An Alternating Hodges Semantics

D. Bellier

M. Benerecetti

D. Della Monica

F. Mogavero