A Logic for Normative Time-Bounded Services