   
 9 Informal Semantics Propositional ITLIn propositional logic semantics is given wrt a state: If and then
In propositional ITL semantics is given wrt a sequence of states: Let and be states then Let , and be states then
Let and be states 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 , and be states and , and then Let be a state () then
  

 