Proving classical theorems of social choice theory in modal logic
Manipulation of Voting Schemes: A General Result