research
∙
10/22/2022
An Axiomatic Characterization of Split Cycle
A number of rules for resolving majority cycles in elections have been p...
share
research
∙
08/14/2022
An approach to generalizing some impossibility theorems in social choice
In social choice theory, voting methods can be classified by invariance ...
research
∙
07/14/2022
A fundamental non-classical logic
We give a proof-theoretic as well as a semantic characterization of a lo...
research
∙
03/06/2022
The Orthologic of Epistemic Modals
Epistemic modals have peculiar logical features that are challenging to ...
research
∙
01/18/2022
Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
In this paper, we study three representations of lattices by means of a ...
research
∙
10/16/2021
Voting Theory in the Lean Theorem Prover
There is a long tradition of fruitful interaction between logic and soci...
research
∙
08/02/2021
Escaping Arrow's Theorem: The Advantage-Standard Model
There is an extensive literature in social choice theory studying the co...
research
∙
08/01/2021
Stable Voting
In this paper, we propose a new single-winner voting system using ranked...
research
∙
06/22/2021
Measuring Violations of Positive Involvement in Voting
In the context of computational social choice, we study voting methods t...
research
∙
04/06/2021
Preferential Structures for Comparative Probabilistic Reasoning
Qualitative and quantitative approaches to reasoning about uncertainty c...
research
∙
08/15/2020
Axioms for Defeat in Democratic Elections
We propose six axioms concerning when one candidate should defeat anothe...
research
∙
04/05/2020
Split Cycle: A New Condorcet Consistent Voting Method Independent of Clones and Immune to Spoilers
We introduce a new Condorcet consistent voting method, called Split Cycl...
research
∙
07/22/2019
Strategic Voting Under Uncertainty About the Voting Method
Much of the theoretical work on strategic voting makes strong assumption...
research
∙
07/22/2019
When Do Introspection Axioms Matter for Multi-Agent Epistemic Reasoning?
The early literature on epistemic logic in philosophy focused on reasoni...
research
∙
09/20/2018