game semantics

approach to formal semantics