Logic in the study of hierarchical games under uncertainty

We study a hierarchical game of two players with an uncertain factor. We consider the case of interval uncertainty. Under the assumption that the set of uncertain factors is finite, we compute the maximal guaranteed result of the top level player. Under standard topological assumptions we find a lower bound for this result.