Let M be a 4N-integrable, real-valued continuous N-parameter strong martingale. By extending Itô-type formulas for M to a function whose 2Nth derivative is Dirac's [delta]-distribution, Tanaka-type formulas for M are obtained. They represent local time of M with respect to occupation time...

Let M be a square integrable martingale indexed by [0, 1]2 with respect to a filtration which possesses the property of conditional independence. Assume that M has trajectories which are continuous for approach from the right upper quadrant and possess limits for the remaining three. M can have...