Title: Comparing linear and branching time temporal logics