Abstract:We introduce Boolean Observation Games, a subclass of multi-player finite strategic games with incomplete information and qualitative objectives. In Boolean observation games, each player is associated with a finite set of propositional variables of which only it can observe the value, and it controls whether and to whom it can reveal that value. It does not control the given, fixed, value of variables. Boolean observation games are a generalization of Boolean games, a well-studied subclass of strategic games but with complete information, and wherein each player controls the value of its variables. In Boolean observation games, player goals describe multi-agent knowledge of variables. As in classical strategic games, players choose their strategies simultaneously and therefore observation games capture aspects of both imperfect and incomplete information. They require reasoning about sets of outcomes given sets of indistinguishable valuations of variables. An outcome relation between such sets determines what the Nash equilibria are. We present various outcome relations, including a qualitative variant of ex-post equilibrium. We identify conditions under which, given an outcome relation, Nash equilibria are guaranteed to exist. We also study the complexity of checking for the existence of Nash equilibria and of verifying if a strategy profile is a Nash equilibrium. We further study the subclass of Boolean observation games with `knowing whether' goal formulas, for which the satisfaction does not depend on the value of variables. We show that each such Boolean observation game corresponds to a Boolean game and vice versa, by a different correspondence, and that both correspondences are precise in terms of existence of Nash equilibria.

A note on simple games with two equivalence classes of players

Ehrenfeucht-Fraisse games on a class of scattered linear orders

A New Game Equivalence, Its Logic and Algebra

Toward a Combinatorial Theory of SET and Related Card Games

Axiomatization of some power indices in voting games with abstention

Two Equivalence Results for Two-Person Strict Games.

On Covering Codes and Upper Bounds for the Dimension of Simple Games

Are Weighted Games Sufficiently Good for Binary Voting?

Weighted simple games and the topology of simplicial complexes

Complexity Dichotomies for Unweighted Scoring Rules

Computation and Bribery of Voting Power in Delegative Simple Games

Boolean Observation Games

Symmetric Decomposition of Asymmetric Games

Decompositions of two player games: potential, zero-sum, and stable games

A New Game Equivalence and Its Modal Logic.

How Good Is a Two-Party Election Game?

A Note on the Core of 2-Matching Games

Weighted and Roughly Weighted Simple Games

Bidding Combinatorial Games

Classification of Quantum Symmetric Non-zero Sum 2x2 Games in the Eisert Scheme