3 citations · 5 across the 7 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.GT2026
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…
math.LO2026
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…
econ.TH2026
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…