E. Cresto, “Dynamic Logic for Ungrounded Payoffs”, LLP, pp. 1–29, Mar. 2026.