This is a formal semantics of the board game Tic Tac Toe. The definition was developed using the K Semantic Framework.
The goal of this project is to compare game definitions written in K to game definitions written in Game Definition Language. A specification of Tic Tac Toe in GDL can be found on Stanford's Gamemaster website.