Counterpart-based Quantified Temporal Logics - Gadducci, Fabio; Laretto, Andrea; Trotta, Davide (Journal of logical and algebraic methods in programming, 2026)