TEMPORAL LOGIC