Text this: Logics of time and computation / Robert Goldblatt.