Liveness Properties in Geometric Logic for Domain-Theoretic Streams

Colin Riba, Solal Stern

We devise a version of Linear Temporal Logic (LTL) on a denotational domain of streams. We investigate this logic in terms of domain theory, (point-free) topology and geometric log…