Semi-competitive differential game logic

@INPROCEEDINGS{DBLP:conf/tableaux/ButteP25,
  author    = {Julia Butte and
               Andr{\'{e}} Platzer},
  title     = {Semi-Competitive Differential Game Logic},
  year      = {2025},
  pages     = {278-295},
  doi       = {10.1007/978-3-032-06085-3_15},
  editor    = {Pozzato, Gian Luca and
               Uustalu, Tarmo},
  booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 33rd
               International Conference, {TABLEAUX} 2025, Reykjav\'ik, Iceland,
               September 29 -- October 3, 2025, Proceedings},
  series    = {LNCS},
  volume    = {15980},
}```