For simplicity, we usually model the next state as a function of the current state and action: $p(s_{t+1} | s_t, a_t)$. This is independent of $s_{t-1}$.

There are two more definitions used very common: