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...

We study the implications of procedural fairness on income taxation. We formulate procedural fairness as a particular non-cooperative bargaining game and examine the stationary subgame perfect equilibria of the game. The equilibrium outcome is called tax equilibrium and is shown to be unique....