Reasoning about Social Choice and Games in Monadic Fixed-Point Logic
Abstract
Whether it be in normal form games, or in fair allocations, or in voter preferences in voting systems, a certain pattern of reasoning is common. From a particular profile, an agent or a group of agents may have an incentive to shift to a new one. This induces a natural graph structure that we call the improvement graph on the strategy space of these systems. We suggest that the monadic fixed-point logic with counting, an extension of monadic first-order logic on graphs with fixed-point and counting quantifiers, is a natural specification language on improvement graphs, and thus for a class of properties that can be interpreted across these domains. The logic has an efficient model checking algorithm (in the size of the improvement graph).
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2019
- DOI:
- 10.48550/arXiv.1907.09100
- arXiv:
- arXiv:1907.09100
- Bibcode:
- 2019arXiv190709100D
- Keywords:
-
- Computer Science - Computer Science and Game Theory
- E-Print:
- In Proceedings TARK 2019, arXiv:1907.08335