1.Previous
3.Next

one), which is equivalent to the labeled transitions above, when they define the semantics of modal u-calculus.

See also

*Temporal logic
*Model checking
*Kripke semantics
*Linear temporal logic
*Computation tree logic

References

1.Previous
3.Next