A logical multidemand bargaining model with integrity constraints

This paper proposes a logical model of multi-demand bargaining with integrity constraints. We also construct a simultaneous concession solution to bargaining games of this kind and show that the solution is uniquely characterized by a set of logical properties. Moreover, we prove that the solution also satisfies the most fundamental game theoretic properties such as symmetry and Pareto optimality. In addition, by lots of simulation experiments we study how the number of conflicting demands, bargainers' risk attitude, and bargainer number influence the bargaining success rate and efficiency as well as the agreement quality