Observing a Lévy process up to a stopping time

Abstract

It is proved that the law of a possibly killed Lévy process $X$, seen up to and including (resp. up to strictly before) a stopping time, determines already the law of $X$ (resp. up to a compound Poisson component and killing).