4 papers
Voting Method Synthesis on an Infinite Domain: A Possibility Theorem for Positive Involvement
Wesley H. Holliday
A common problem in social choice is to determine whether there is a social choice procedure, such as a voting method, satisfying some desired criteria. Computer-aided methods such…
Fundamental Logic Through the Lens of Modality
Wesley H. Holliday, Guillaume Massas
Fundamental logic is a non-classical logic based only on the introduction and elimination rules for conjunction, disjunction, negation, and the quantifiers in a Fitch-style natural…
The incompatibility of the Condorcet winner and loser criteria with positive involvement and resolvability
Wesley H. Holliday
We prove that there is no preferential voting method satisfying the Condorcet winner and loser criteria, positive involvement (if a candidate wins in an initial preference prof…
Axiomatizations of a simple Condorcet voting method for Final Four and Final Five elections
Wesley H. Holliday
Proponents of Condorcet voting face the question of what to do in the rare case when no Condorcet winner exists. Recent work provides compelling arguments for the rule that should…