Game semantics provides an alternative perspective in the understanding of standard logical concepts such as truth, model similarity and consistency. In the game, one player claims that certain logical property holds (e.g. a formula is true in a model, or two models are similar), and the ...
We use \(v \mathop {\,\!_{}\smash \mapsto ^{}_{U}} T\) to denote that there is a finite path , for some n, such that \(v = v_0\), \(v_n \in T\) and for all \(j < n\), \(v_j \in U\). Conversely, \(v \mathop {\,\!_{}\smash \mapsto ^{}_{U}}...