The decidability of guarded fixed point logic