Cresto E. Dynamic Logic for Ungrounded Payoffs. LLP [Internet]. 2026 Mar. 1 [cited 2026 Jul. 25];:1-29. Available from: https://apcz.umk.pl/LLP/article/view/62261