Boolean Games Revisited

Abstract

Abstract. Game theory is a widely used formal model for study-ing strategical interactions between agents. Boolean games [7] are two players, zero-sum static games where player’s utility functions are binary and described by a single propositional formula, and the strategies available to a player consist of truth assignments to each of a given set of propositional variables (the variables controlled by the player.) We generalize the framework to n-players games which are not necessarily zero-sum. We give simple characterizations of Nash equilibria and dominated strategies, and investigate the compu-tational complexity of the related problems. 1

Cite this work

No public copy is stored for this record, so only the metadata is cited.

Stored only when both papers are in the corpus — 92 citations exist upstream.

Papers that cite the same references — the relational fallback while embeddings are still backfilling.