Logic Games Can Represent Game Logics
The MIT Press eBooks · 2014
This chapter contains sections titled: 24.1 Forcing relations and game operations, 24.2 Forcing bisimulations, 24.3 Basic game algebra, 24.4 First-order evaluation games and general game laws, 24.5 The main result, 24.6 Discussion, 24.7 Extensions and desiderata, 24.8 Literature