Another logic allows for expressing properties on a tree of possible futures: CTL (Computational Tree Logic) properties.
See All 34 Episodes of "From Symmetric Nets to Symmetric Nets with Bags (2015 edition, full HD)"