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