Logic of Time