Conditional measures for Pfaffian point processes: conditioning on a bounded domain

For a Pfaffian point process we show that its Palm measures, its normalised compositions with multiplicative functionals, and its conditional measures with respect to fixing the configuration in a bounded subset are Pfaffian point processes whose kernels we find explicitly.