On planning procedures which are locally strategy proof

We consider planning procedures which generalize the MDP procedure in the sense that, at each step, the planning bureau asks the agents their marginal rates of substitution, and uses the answers to revise the previously announced feasible programme. Such a procedure is “locally strategy proof” if, at each step, answering one's true marginal rate of substitution is the best myopic strategy for each agent. We give a general characterization of the family of locally strategy proof procedures and study its neutrality properties.