   
 22 Informal Semantics First Order ITLIn first order logic semantics is given wrt a state: Let be a state and and then In first order ITL semantics is given wrt a sequence of states: Let and be states and and then Let and be states and , , and then Let , and be states and , and then Let , and be states and and then Let , and be states and , and then
Let be a state () and then Note: looks similar to but is it really equal?
  

 