First-Order Game Logic and Modal Mu-Calculus