В основе теоретико-игровой семантики лежат, с одной стороны, математическая теория игр, а с другой?теоретико-модельная семантика.