CTL*

CTL*

summary

a branching-time logic

results

• First defined in [1], [3]

references (chronological order)

1. ``Sometimes'' and ``Not Never'' Revisited: On Branching versus Linear Time Temporal Logic (preliminary report) (1983)
2. Deciding Full Branching Time Logic (1984)
3. ``Sometimes'' and ``Not Never'' Revisited: On Branching versus Linear Time Temporal Logic (1986)