Prediction in Branching Time Logic