Of course it does, that is why Hoare Logic and SSA exist. Deduction lacks a notion of time.
Logic is ordered, and we have a notion of order because we know time, which is the only obviously ordered thing in nature. So in a sense any logic has time in its foundation and math can do the reverse: represent time in declarative manner.
