Games As Processes: Definability and Invariance

Johan van Benthem

DOI: https://doi.org/10.7551/mitpress/9674.003.0005

2014-01-01

Abstract:This chapter contains sections titled: 1.1 Games as process graphs in modal logic, 1.2 Process and game equivalences, 1.3 Further notions of game equivalence, 1.4 Conclusion, 1.5 Literature