Proving classical theorems of social choice theory in modal logic
Better human computation through principled voting