Changing Observations in Epistemic Temporal Logic