Branching-time Temporal Logic Research Articles