I am trying to understand the relation between interval temporal logic and linear temporal logic. Do the two form of expressing temporal constraints have the same expressive power, or is one of the two more expressive?I found a proof of the ability of translating Allen Interval temporal logic formulas into linear temporal logic formulas (http://fsl.cs.uiuc.edu/index.php/Allen_Linear_(Interval)_Temporal_Logic_-Translation_to_LTL_and_Monitor_Synthesis-), but I couldn't find much info for the other direction. 
Relation between interval temporal logic and linear temporal logic
lo.logic;temporal logic;linear temporal logic