Stochastic Game Logic