Liveness Properties in Geometric Logic for Domain-Theoretic Streams. - Colin Riba; Solal Stern (CoRR, 2023)