Model-checking ecological state-transition graphs
Fig 5
Syntax and semantics of Computation Tree Logic (CTL).
The syntax defines how state properties and operators (logical, existential or universal) can be combined into a formula. The semantics describes the meaning of formulas. The semantics presented here is intuitive and given through example CTs satisfying basic CTL formulas. (Adapted from [47].) See [2] for a formal semantics of CTL.