game semantics, Games semantics, linear logic, modal logic, proof theory, resource logic, sequent system.
