Decidability of Interval Temporal Logics over Split-Frames via Granularity.

Angelo Montanari, Guido Sciavicco, Nicola Vitacolonna

Browse the full JELIA paper archive.