A decomposition of strategy-proofness

Strategy-proofness has been one of the central axioms in the theory of social choice. However, strategy-proofness often leads to impossibility results. We find that strategy-proofness is decomposed into three axioms: top-restricted AM-proofness, weak monotonicity, and individual bounded response. We present possibility results by dropping individual bounded response from strategy-proofness. One of the results supports the plurality rule which is one of the most widely used rules in practice.