A new logic for reasoning about time intervals is presented and proven
to be * complete* in the standard logical sense: if a statement $S$
is true in all possible situations, then $S$ can be deduced from the
axioms of this logic by using its deduction rules. This result can be
used to design a computer system that would automatically check
whether a given statement about time intervals is true or not.