On local times for stochastic processes

A martingale approach is proposed to constructing local times for stochastic processes. It is shown that the local time, if it exists, has a measurable modification. Sufficient conditions for existence of local times are given. A few concrete classes of stochastic processes are considered, existence of local times being proved. For semistable processes with local times the distributions of some additive functionals are investigated.