By combining game logic with mathematical rigor, we unlock new ways to analyze strategies and dynamics.