Logics Of Time And Computation by Robert Goldblatt