Cresto, E. Dynamic Logic for Ungrounded Payoffs. LLP 2026, 1-29.