@article(van2011toward,
 author       = {J. van Benthem, E. Pacuit and O. Roy},
 year         = {2011},
 title        = {Toward a theory of play: A logical perspective on games and interaction},
 journal      = {Games},
 volume       = {2},
 number       = {1},
 pages        = {52--86},
 doi          = {10.3390/g2010052},
)
@book(vB14,
 author       = {J. van Benthem},
 year         = {2014},
 title        = {Logic in games},
 publisher    = {MIT Press, Cambridge, MA},
)
@article(vB16,
 author       = {J.van Benthem and N. Bezhanishvili and S. Enqvist and J. Yu},
 year         = {2017},
 title        = {Instantial Neighborhood Logic},
 journal      = {The Review of Symbolic Logic},
 volume       = {10},
 number       = {1},
 pages        = {116--144},
 doi          = {10.1017/S1755020316000447},
)
@article(bonanno1992set,
 author       = {G. Bonanno},
 year         = {1992},
 title        = {Set-theoretic equivalence of extensive-form games},
 journal      = {International Journal of Game Theory},
 volume       = {20},
 number       = {4},
 pages        = {429--447},
 doi          = {10.1007/BF01271135},
)
@book(BS81,
 author       = {R. Burris and H. Sankappanavar},
 year         = {1981},
 title        = {A Course in Universal Algebra},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4613-8130-3},
)
@article(elmes1994strategic,
 author       = {S. Elmes and P. J. Reny},
 year         = {1994},
 title        = {On the strategic equivalence of extensive form games},
 journal      = {Journal of Economic Theory},
 volume       = {62},
 number       = {1},
 pages        = {1--23},
 doi          = {10.1006/jeth.1994.1001},
)
@article(mail1994,
 author       = {G. J. Mailath, L. Samuelson and J. M. Swinkels},
 year         = {1994},
 title        = {Normal form structures in extensive form games},
 journal      = {Journal of Economic Theory},
 volume       = {64},
 number       = {2},
 pages        = {325--371},
 doi          = {10.1006/jeth.1994.1072},
)
@article(gorankogamealgebra,
 author       = {V. Goranko},
 year         = {2003},
 title        = {The basic algebra of game equivalences},
 journal      = {Studia Logica},
 volume       = {75},
 number       = {2},
 pages        = {221--238},
 doi          = {10.1023/A:1027311011342},
)
@incollection(van200720,
 author       = {W. van der Hoek and M. Pauly},
 year         = {2007},
 title        = {Modal logic for games and information},
 editor       = {van Benthem J. Blackburn, P. and F. Wolter},
 booktitle    = {Handbook of modal logic},
 series       = {Studies in Logic and Practical Reasoning},
 volume       = {3},
 publisher    = {Elsevier},
 pages        = {1077--1148},
 doi          = {10.1016/S1570-2464(07)80023-1},
)
@book(bergstra2001handbook,
 author       = {J. A. Bergstra, A. Ponse and S. A. Smolka},
 year         = {2001},
 title        = {Handbook of process algebra},
 publisher    = {Elsevier},
)
@article(Maddux80,
 author       = {R. Maddux},
 year         = {1980},
 title        = {The Equational Theory of CA${}_{\unhbox\voidb@x \hbox{3}}$ is Undecidable},
 journal      = {J. Symb. Log.},
 volume       = {45},
 number       = {2},
 pages        = {311--316},
 doi          = {10.2307/2273191},
)
@article(osborne1994course,
 author       = {M. Osborne and A. Rubinstein},
 year         = {1994},
 title        = {A Course in Game Theory},
 journal      = {MIT Press Books},
 volume       = {1},
 doi          = {10.2307/2554642},
)
@incollection(parikh85,
 author       = {R. Parikh},
 year         = {1985},
 title        = {The logic of games and its applications},
 booktitle    = {Topics in the theory of computation ({B}orgholm, 1983)},
 series       = {North-Holland Math. Stud.},
 volume       = {102},
 publisher    = {North-Holland, Amsterdam},
 pages        = {111--139},
 doi          = {10.1016/S0304-0208(08)73078-0},
)
@article(thompson1997equivalence,
 author       = {F. Thompson},
 year         = {1997},
 title        = {Equivalence of games in extensive form},
 journal      = {Classics in game theory},
 volume       = {36},
 doi          = {10.1006/jeth.1994.1001},
)
@article(venemagamealgebra,
 author       = {Y. Venema},
 year         = {2003},
 title        = {Representation of game algebras},
 journal      = {Studia Logica},
 volume       = {75},
 number       = {2},
 pages        = {239--256},
 doi          = {10.1023/A:1027363028181},
)