Toward a theory of play: A logical perspective on games and interaction

E. Pacuit J. van Benthem O. Roy 2011 Toward a theory of play: A logical perspective on games and interaction Games 2 1 52–86 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 116–144 10.1017/S1755020316000447 G. Bonanno 1992 Set-theoretic equivalence of extensive-form games International Journal of Game Theory 20 4 429–447 10.1007/BF01271135 R. Burris H. Sankappanavar 1981 A Course in Universal Algebra Springer 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 1–23 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 325–371 10.1006/jeth.1994.1072 V. Goranko 2003 The basic algebra of game equivalences Studia Logica 75 2 221–238 10.1023/A:1027311011342 W. van der Hoek M. Pauly 2007 Modal logic for games and information van Benthem J. Blackburn, P. F. Wolter Handbook of modal logic Studies in Logic and Practical Reasoning 3 Elsevier 1077–1148 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 311–316 10.2307/2273191 M. Osborne A. Rubinstein 1994 A Course in Game Theory MIT Press Books 1 10.2307/2554642 R. Parikh 1985 The logic of games and its applications Topics in the theory of computation (Borgholm, 1983) North-Holland Math. Stud. 102 North-Holland, Amsterdam 111–139 10.1016/S0304-0208(08)73078-0 F. Thompson 1997 Equivalence of games in extensive form Classics in game theory 36 10.1006/jeth.1994.1001 Y. Venema 2003 Representation of game algebras Studia Logica 75 2 239–256 10.1023/A:1027363028181