Partial Logic for TimeTravel