Complete Game Logic with Sabotage

Noah Abou El Wafa, André Platzer

Game Logic with sabotage ($\mathsf{G}{\mathsf{L}}_{\mathsf{s}}$) is introduced as a simple and natural extension of Parikh's game logic with a single additional primitive, which allows players to lay tr…