Logic of Video Games