We study the implications of procedural fairness on income taxation. All taxation schemes are allowed for, up to the constraints implied by incentive compatibility and budget balance. We formulate procedural fairness as a particular non-cooperative bargaining game and examine the stationary...

This paper presents a new extension of the Rubinstein-Stamp;#7843;hl bargaining model to the case with n players, called sequential share bargaining. The bargaining protocol is natural and has as its main feature that the players' shares in the cake are determined sequentially. The bargaining...