Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T.

Ian M. Hodkinson, Angelo Montanari, Guido Sciavicco

Browse the full CSL paper archive.