Free Temporal Logics And Their Applications 1987