Pure-Past Linear Temporal and Dynamic Logic on Finite Traces