First-order game logic and modal mu-calculus

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