Decidability of Interval Temporal Logics 15 Marzo 2010 Pietro Sala Università di Udine 15 Marzo 2010 FULL PDF