Good-for-Game QPTL: An Alternating Hodges Semantics

Dylan Bellier, Massimo Benerecetti, Dario Della Monica +1

An extension of QPTL is considered where functional dependencies among the quantified variables can be restricted in such a way that their current values are independent of the fut…