Semi-Competitive Differential Game Logic. - Julia Butte; André Platzer (CoRR, 2025)