Below is a list of research papers ordered chronologically. Please use the menu on the left to browse by topic.
An extension of May's Theorem to three alternatives: axiomatizing Minimax voting
with Eric Pacuit
Forthcoming in Social Choice and Welfare.
Forthcoming in The Logica Yearbook 2023.
A simple Condorcet voting method for Final Four elections
Forthcoming in Representation. Publisher's version.
Characterizations of voting rules based on majority margins
with Yifeng Ding and Eric Pacuit
2025.
The Social Utility of Voting Revisited
with Eric Pacuit
2024.
Possibility Frames and Forcing for Modal Logic
2025. The Australasian Journal of Logic. Publisher's version.
A partial-state space model of unawareness
2025. Journal of Mathematical Economics. Publisher's version.
2025. The Connectives in Logic and Language: Fourth Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning. Publisher's version.
pref_voting: The Preferential Voting Tools package for Python
with Eric Pacuit
2025. Journal of Open Source Software.
Learning to Manipulate under Limited Information
with Alexander Kristoffersen and Eric Pacuit
2025. Proceedings of the 39th Annual AAAI Conference on Artificial Intelligence (AAAI 2025). Publisher's version.
Accepted for the 1st Workshop on Social Choice and Learning Algorithms (SCaLA 2024) held at AAMS 2024.
Conditional and Modal Reasoning in Large Language Models
with Cedegao Zhang and Matthew Mandelkern
2024. Empirical Methods in Natural Language Processing (EMNLP).
An impossibility theorem concerning positive involvement in voting
2024. Economics Letters. Publisher's version.
An Axiomatic Characterization of Split Cycle
with Yifeng Ding and Eric Pacuit
2024. Social Choice and Welfare. Publisher's version.
Escaping Arrow's Theorem: The Advantage-Standard Model
with Mikayla Kelley
2024. Theory and Decision. Publisher's version.
Social Choice Should Guide AI Alignment in Dealing with Diverse Human Feedback
with Vincent Conitzer, Rachel Freedman, Jobst Heitzig, Bob M. Jacobs, Nathan Lambert, Milan Mossé, Eric Pacuit, Stuart Russell, Hailey Schoelkopf, Emanuel Tewolde, and William S. Zwicker
2024. International Conference on Machine Learning.
The Orthologic of Epistemic Modals
with Matthew Mandelkern
2024. Journal of Philosophical Logic.
2024. Advances in Modal Logic, Vol. 15.
Impossibility theorems involving weakenings of expansion consistency and resoluteness in voting
with Chase Norman, Eric Pacuit, and Saam Zahedian
2024. Mathematical Analyses of Decisions, Voting and Games, Contemporary Mathematics series, American Mathematical Society, edited by Michael A. Jones, David McCune, and Jennifer Wilson. Publisher's version.
A Fundamental Non-Classical Logic
2023. Logics. Publisher's version. Video of talk.
with Eric Pacuit
2023. Constitutional Political Economy. Publisher's version. Associated website at StableVoting.org.
Split Cycle: A New Condorcet-Consistent Voting Method Independent of Clones and Immune to Spoilers
with Eric Pacuit
2023. Public Choice. Publisher's version.
2022. Advances in Modal Logic, Vol. 14.
Compatibility, compossibility, and epistemic modality
with Matthew Mandelkern
2022. Proceedings of the 23rd Amsterdam Colloquium. Publisher's version.
Axioms for Defeat in Democratic Elections
with Eric Pacuit
2021. Journal of Theoretical Politics. Publisher's version.
2021. In Selected Topics from Contemporary Logics, ed. Melvin Fitting, College Publications.
with Zhang Cedegao and Huang Ham
2021. Proceedings of the 43rd Annual Meeting of the Cognitive Science Society.
Voting Theory in the Lean Theorem Prover
with Chase Norman and Eric Pacuit
2021. Proceedings of the Eighth International Conference on Logic, Rationality and Interaction (LORI-VIII).
Measuring Violations of Positive Involvement in Voting
with Eric Pacuit
2021. Proceedings of the Eigthteenth Conference on Theoretical Aspects of Rationality and KNowledge (TARK XVIII).
Three roads to complete lattices: orders, compatibility, polarity
2021. Algebra Universalis. Publisher's version.
Logics of Imprecise Comparative Probability
with Yifeng Ding and Thomas Icard
2021. International Journal of Approximate Reasoning. Publisher's version.
The Logic of Comparative Cardinality
with Matthew Harrison-Trainor and Yifeng Ding
2020. The Journal of Symbolic Logic. Publisher's version.
with Nick Bezhanishvili
2020. The Journal of Symbolic Logic. Publisher's version.
Inquisitive Intuitionistic Logic
2020. In Advances in Modal Logic, Vol. 13.
Another Problem in Possible World Semantics
with Yifeng Ding
2020. Advances in Modal Logic, Vol. 13.
A note on Murakami's theorems and incomplete social choice without the Pareto principle
with Mikayla Kelley
2020. Social Choice and Welfare. Publisher's version.
with Eric Pacuit
2020. In the special issue of Social Choice and Welfare in Memory of Kenneth J. Arrow, edited by Eric Maskin, Amartya Sen, and Kotaro Suzumura. Publisher's version.
A Semantic Hierarchy for Intuitionistic Logic
with Guram Bezhanishvili
2019. Indagationes Mathematicae. Publisher's version.
Complete Additivity and Modal Incompleteness
with Tadeusz Litak
2019. The Review of Symbolic Logic. Publisher's version.
A Note on Algebraic Semantics for S5 with Propositional Quantifiers
2019. Notre Dame Journal of Formal Logic. Publisher's version.
When Do Introspection Axioms Matter for Multi-Agent Epistemic Reasoning?
with Yifeng Ding and Cedegao Zhang
2019. Proceedings of the Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK XVII).
Strategic Voting Under Uncertainty About the Voting Method
with Eric Pacuit
2019. Proceedings of the Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK XVII)..
Algebraic and topological semantics for inquisitive logic via choice-free duality
with Nick Bezhanishvili and Gianluca Grilletti
2019. In Proceedings of the 26th Workshop on Logic, Language, Information and Computation (WoLLIC 2019). Publisher's version.
Axiomatization in the Meaning Sciences
with Thomas Icard
2018. The Science of Meaning: Essays on the Metatheory of Natural Language Semantics.
One Modal Logic to Rule Them All?
with Tadeusz Litak
2018. Advances in Modal Logic, Vol. 12. Extended technical report here.
Inferring Probability Comparisons
with Matthew Harrison-Trainor and Thomas Icard
2018. Mathematical Social Sciences. Publisher's version.
Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic
2018. Outstanding Contributions to Logic: Jaakko Hintikka on Knowledge and Game Theoretical Semantics.
Epistemic Logic and Epistemology (survey chapter)
2018. Handbook of Formal Philosophy, Springer.
On the Modal Logic of Subset and Superset: Tense Logic over Medvedev Frames
2017. Studia Logica. Publisher's version.
A Bimodal Perspective on Possibility Semantics
with Johan van Benthem and Nick Bezhanishvili
2017. Journal of Logic and Computation. Publisher's version.
Indicative Conditionals and Dynamics Epistemic Logic
with Thomas Icard
2017. Proceedings of the Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK XVI).
Preferential Structures for Comparative Probabilistic Reasoning
with Matthew Harrison-Trainor and Thomas Icard
2017. Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence.
2017. Being, Freedom, and Method: Themes from the Philosophy of Peter van Inwagen, Oxford University Press.
Locales, Nuclei, and Dragalin Frames
with Guram Bezhanishvili
2016. Advances in Modal Logic, Vol. 11.
On Being in an Undiscoverable Position
2016. Thought: A Journal of Philosophy. Publisher's version.
2016. UC Berkeley Working Paper in Philosophy.
Possibility Frames and Forcing for Modal Logic
2015. UC Berkeley Working Paper in Logic and the Methodology of Science
Epistemic Closure and Epistemic Logic I: Relevant Alternatives and Subjunctivism
2015. Journal of Philosophical Logic. Publisher’s version.
Fallibilism and Multiple Paths to Knowledge
2015. Oxford Studies in Epistemology, Vol. 5. Extended version here.
A Note on Cancellation Axioms for Comparative Probability
with Matthew Harrison-Trainor and Thomas Icard
2015. Theory and Decision. Publisher’s version.
Partiality and Adjointness in Modal Logic
2014. Advances in Modal Logic, Vol. 10.
Roles, Rigidity, and Quantification in Epistemic Logic
with John Perry
2014. Outstanding Contributions to Logic, Vol. 5: Johan van Benthem on Logic and Information Dynamics. Publisher's version.
Measure Semantics and Qualitative Semantics for Epistemic Modals
with Thomas Icard
2013. Proceedings of Semantics and Linguistic Theory (SALT) 23.
Information Dynamics and Uniform Substitution
with Tomohiro Hoshi and Thomas Icard
2013. Synthese. Publisher’s version.
(Supersedes Schematic Validity in Dynamic Epistemic Logic: Decidability, 2011, Lecture Notes in Artificial Intelligence.)
@incollection{Holliday2013,
author = {Wesley H. Holliday},
title = {Epistemic Closure and Epistemic Logic I: Relevant Alternatives and Subjunctivism. A Summary},
booktitle = {Logics Across the University: Foundations and Applications},
editor = {Johan van Benthem and Fenrong Liu},
series = {Studies in Logic},
volume = {47},
year = {2012},
pages = {39-46},
publisher = {College Publications},
address = {London}}
@incollection{Holliday2013,
author = {Wesley H. Holliday},
title = {Response to {\'E}gre and {X}u},
booktitle = {Logics Across the University: Foundations and Applications},
editor = {Johan van Benthem and Fenrong Liu},
series = {Studies in Logic},
volume = {47},
year = {2012},
pages = {39-46},
publisher = {College Publications},
address = {London}}
Freedom and the Fixity of the Past
2012. Philosophical Review. Publisher’s version.
@article{Holliday2012,
author = {Wesley H. Holliday},
title = {Freedom and the Fixity of the Past},
journal = {The Philosophical Review},
year = {2012},
volume = {121},
number = {2},
pages = {179–207},
doi = {10.1215/00318108-1539080}}
Knowing What Follows: Epistemic Closure and Epistemic Logic
2012. Stanford University Dissertation, Revised ILLC Version. ILLC Dissertation Series.
@phdthesis{Holliday2012c,
author = {Wesley H. Holliday},
title = {Knowing What Follows: {E}pistemic Closure and Epistemic Logic},
school = {Stanford University},
year = {2012},
note = {{ILLC} Dissertation Series DS-2012-09}}
@incollection{HHI2012,
author = {Holliday, Wesley H. and Tomohiro Hoshi and Thomas F. Icard},
title = {A Uniform Logic of Information Dynamics},
booktitle = {Advances in Modal Logic},
volume = {9},
editor = {Thomas Bolander and Torben Bra\"{u}ner and Silvio Ghilardi and Lawrence Moss},
pages = {348-367},
publisher = {College Publications},
address = {London},
year = {2012}}
Epistemic Logic, Relevant Alternatives, and the Dynamics of Context
2012. New Directions in Logic, Language, and Computation. Publisher’s version.
@incollection{Holliday2012,
author = {Wesley H. Holliday},
title = {Epistemic Logic, Relevant Alternatives, and the Dynamics of Context},
booktitle = {New Directions in Logic, Language and Computation},
editor = {Daniel Lassiter and Marija Slavkovik},
series = {Lecture Notes in Computer Science},
year = {2012},
volume = {7415},
pages = {109-129},
publisher = {Springer},
address = {Berlin},
doi = {10.1007/978-3-642-31467-4_8}}
@incollection{HollidayIcard2010,
title = {Moorean Phenomena in Epistemic Logic},
author = {Holliday, Wesley H. and Icard, Thomas F.},
booktitle = {Advances in Modal Logic},
editor = {Beklemishev, Lev and Valentin Goranko and Valentin Shehtman},
pages = {178-199},
volume = {8},
publisher = {College Publications},
address = {London},
year = {2010}}