Logics of Time and Computation