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{\'e} 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},
}```