> Edit: Logically speaking, the following two are equivalent:

Depends on your logical system! There are temporal logics to allow one to capture logically the difference between the two.