Time logic