 These modalities can be interpreted over the extended game forms with neighborhood functions described above. On the semantic side, a generalization of the above neighborhood models support a generalized notion of power bisimulation, see van Benthem, Pacuit, and Roy (2011).