First-Order Dynamic Logic for Compensable Processes