Interval Temporal Logic A not so short introduction
I IntroductionII Propositional LogicIII Propositional Interval Temporal LogicIV First Order LogicV First Order Interval Temporal LogicVI TempuraVII AnaTempura