7 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…
Preconditionals
Wesley H. Holliday
In recent work, we introduced a new semantics for conditionals, covering a large class of what we call preconditionals. In this paper, we undertake an axiomatic study of preconditi…
Conditional and Modal Reasoning in Large Language Models
Wesley H. Holliday, Matthew Mandelkern, Cedegao E. Zhang
The reasoning abilities of large language models (LLMs) are the topic of a growing body of research in AI and cognitive science. In this paper, we probe the extent to which twenty-…