Representation Theorems for Actual Powers over Two-Agent General Concurrent Game Frames

One of the most well-known connections between logic and games is Pauly's representation theorem: that the induced powers of individuals and coalitions in concurrent game frames correspond, in a precise sense, to a certain class of neighborhood frames.The precise sense here is what is called alpha effectivity (or alpha power): the power of a coalition is characterized by the sets of states which it can ensure the outcome to lie in by taking some joint action.This definition is inherently monotonic, and, as pointed out by [3], that fact can obscure relevant information about the power structure in the game: we don't know whether two sets a coalition has the power to enforce correspond to the same or different joint actions.An alternative is to characterise the power of a coalition by its actual power (called basic power in [3]): the set of sets of states where each corresponds to one joint action by the coalition and all possible joint actions by the other agents.It has recently been argued [8,9] that standard concurrent game frames rely on three assumptions that in some cases may be too strong: seriality, independence of agents, and determinism.This gives a total of eight different classes of general concurrent game frames.In this paper, assuming two agents, we prove that for actual powers, the eight classes of general concurrent game frames are represented by eight corresponding classes of neighborhood frames.This generalises a result in [3].