Updating ltl