First-order game logic and modal mu-calculus

@ARTICLE{DBLP:journals/corr/abs-2201-10012,
  author    = {Abou El Wafa, Noah and
               Platzer, Andr{\'e}},
  title     = {First-Order Game Logic and Modal Mu-Calculus},
  journal   = {CoRR},
  volume    = {abs/2201.10012},
  year      = {2022},
  url       = {http://arxiv.org/abs/2201.10012},
}```