Differential game logic

@article{DBLP:journals/tocl/Platzer15,
	pdf = {https://dl.acm.org/doi/pdf/10.1145/2817824},
	errata = {pub/dGL-errata.txt},
	author = {['André Platzer']},
	title = {Differential Game Logic},
	journal = {ACM Trans. Comput. Log.},
	volume = {17},
	number = {1},
	year = {2015},
	pages = {1:1–1:51},
	doi = {10.1145/2817824},
	issn = {1529-3785}
}