Have you had a chance to take a look at linear logic? It lends itself very nicely to formal descriptions of stateful games like this.
https://www.cs.cmu.edu/~cmartens/thesis/thesis.pdf
The author of the paper has a few StrangeLoop appearances popularizing her work.
Thanks for sharing it with me Sean. I did not know about this.
