Building Logical Specifications of Temporal Granularities through Algebraic Operators