Wesley H. Holliday

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 46

Top Topics

Top Venues

J. Philos. Log.

Publications

Wesley H. Holliday, Matthew Mandelkern
The Orthologic of Epistemic Modals. J. Philos. Log. 53 (4) (2024)
Wesley H. Holliday
The defensible set and a new impossibility theorem in voting. CoRR (2024)
Vincent Conitzer, Rachel Freedman, Jobst Heitzig, Wesley H. Holliday, Bob M. Jacobs, Nathan Lambert, Milan Mossé, Eric Pacuit, Stuart Russell, Hailey Schoelkopf, Emanuel Tewolde, William S. Zwicker
Social Choice for AI Alignment: Dealing with Diverse Human Feedback. CoRR (2024)
Wesley H. Holliday, Matthew Mandelkern
Conditional and Modal Reasoning in Large Language Models. CoRR (2024)
Wesley H. Holliday
Possibility Semantics. CoRR (2024)
Wesley H. Holliday, Alexander Kristoffersen, Eric Pacuit
Learning to Manipulate under Limited Information. CoRR (2024)
Wesley H. Holliday
Modal logic, fundamentally. CoRR (2024)
Wesley H. Holliday, Eric Pacuit
An extension of May's Theorem to three alternatives: axiomatizing Minimax voting. CoRR (2023)
Wesley H. Holliday
A fundamental non-classical logic. CoRR (2022)
Wesley H. Holliday
Non-classical modal logic for natural language. AiML (2022)
Wesley H. Holliday, Eric Pacuit, Saam Zahedian
An approach to generalizing some impossibility theorems in social choice. CoRR (2022)
Yifeng Ding, Wesley H. Holliday, Eric Pacuit
An Axiomatic Characterization of Split Cycle. CoRR (2022)
Wesley H. Holliday
Compatibility and accessibility: lattice representation for semantics of non-classical and modal logics. CoRR (2022)
Wesley H. Holliday
Compatibility and accessibility: Lattice representations for semantics of non-classical and modal logics. AiML (2022)
Wesley H. Holliday, Matthew Mandelkern
The Orthologic of Epistemic Modals. CoRR (2022)
Yifeng Ding, Wesley H. Holliday, Thomas F. Icard III
Logics of imprecise comparative probability. Int. J. Approx. Reason. 132 (2021)
Wesley H. Holliday, Eric Pacuit
Measuring Violations of Positive Involvement in Voting. TARK (2021)
Wesley H. Holliday, Mikayla Kelley
Escaping Arrow's Theorem: The Advantage-Standard Model. CoRR (2021)
Matthew Harrison-Trainor, Wesley H. Holliday, Thomas F. Icard III
Preferential Structures for Comparative Probabilistic Reasoning. CoRR (2021)
Cedegao Zhang, Ham Huang, Wesley H. Holliday
Does Amy Know Ben Knows You Know Your Cards? A Computational Model of Higher-Order Epistemic Reasoning. CogSci (2021)
Wesley H. Holliday, Chase Norman, Eric Pacuit
Voting Theory in the Lean Theorem Prover. CoRR (2021)
Wesley H. Holliday, Chase Norman, Eric Pacuit
Voting Theory in the Lean Theorem Prover. LORI (2021)
Wesley H. Holliday, Eric Pacuit
Stable Voting. CoRR (2021)
Wesley H. Holliday, Mikayla Kelley
A note on Murakami's theorems and incomplete social choice without the Pareto principle. Soc. Choice Welf. 55 (2) (2020)
Wesley H. Holliday, Eric Pacuit
Axioms for Defeat in Democratic Elections. CoRR (2020)
Yifeng Ding, Matthew Harrison-Trainor, Wesley H. Holliday
The Logic of Comparative Cardinality. J. Symb. Log. 85 (3) (2020)
Nick Bezhanishvili, Wesley H. Holliday
Choice-Free Stone duality. J. Symb. Log. 85 (1) (2020)
Wesley H. Holliday, Eric Pacuit
Split Cycle: A New Condorcet Consistent Voting Method Independent of Clones and Immune to Spoilers. CoRR (2020)
Yifeng Ding, Wesley H. Holliday
Another Problem in Possible World Semantics. AiML (2020)
Wesley H. Holliday
Inquisitive Intuitionistic Logic. AiML (2020)
Wesley H. Holliday, Eric Pacuit
Arrow's decisive coalitions. Soc. Choice Welf. 54 (2-3) (2020)
Wesley H. Holliday
A Note on Algebraic Semantics for S5 with Propositional Quantifiers. Notre Dame J. Formal Log. 60 (2) (2019)
Wesley H. Holliday, Tadeusz Litak
Complete additivity and Modal Incompleteness. Rev. Symb. Log. 12 (3) (2019)
Yifeng Ding, Wesley H. Holliday, Cedegao Zhang
When Do Introspection Axioms Matter for Multi-Agent Epistemic Reasoning? TARK (2019)
Nick Bezhanishvili, Gianluca Grilletti, Wesley H. Holliday
Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality. WoLLIC (2019)
Wesley H. Holliday, Eric Pacuit
Strategic Voting Under Uncertainty About the Voting Method. TARK (2019)
Wesley H. Holliday, Tadeusz Litak
One Modal Logic to Rule Them All?. Advances in Modal Logic (2018)
Matthew Harrison-Trainor, Wesley H. Holliday, Thomas F. Icard III
Inferring probability comparisons. Math. Soc. Sci. 91 (2018)
Wiebe van der Hoek, Wesley H. Holliday, Wen-Fang Wang
Logic, rationality and interaction (LORI-5): introduction to the special issue. Synth. 195 (10) (2018)
Wesley H. Holliday, Tadeusz Litak
Complete Additivity and Modal Incompleteness. CoRR (2018)
Wiebe van der Hoek, Wesley H. Holliday, Wen-Fang Wang
Editorial Logic, Rationality and Interaction (LORI-5): Introduction to the Special Issue. J. Log. Comput. 28 (2) (2018)
Johan van Benthem, Nick Bezhanishvili, Wesley H. Holliday
A bimodal perspective on possibility semantics. J. Log. Comput. 27 (5) (2017)
Wesley H. Holliday
On the Modal Logic of Subset and Superset: Tense Logic over Medvedev Frames. Stud Logica 105 (1) (2017)
Wesley H. Holliday, Thomas F. Icard III
Indicative Conditionals and Dynamic Epistemic Logic. TARK (2017)
Matthew Harrison-Trainor, Wesley H. Holliday, Thomas F. Icard III
Preferential Structures for Comparative Probabilistic Reasoning. AAAI (2017)
Guram Bezhanishvili, Wesley H. Holliday
Locales, Nuclei, and Dragalin Frames. Advances in Modal Logic (2016)
Wesley H. Holliday
Erratum to: Epistemic Closure and Epistemic Logic I: Relevant Alternatives and Subjunctivism. J. Philos. Log. 44 (1) (2015)
Wesley H. Holliday
Epistemic Closure and Epistemic Logic I: Relevant Alternatives and Subjunctivism. J. Philos. Log. 44 (1) (2015)
Wesley H. Holliday
Partiality and Adjointness in Modal Logic. Advances in Modal Logic (2014)
Wesley H. Holliday, Tomohiro Hoshi, Thomas F. Icard III
Information dynamics and uniform substitution. Synth. 190 (Supplement-1) (2013)
Wesley H. Holliday, Tomohiro Hoshi, Thomas F. Icard III
A Uniform Logic of Information Dynamics. Advances in Modal Logic (2012)
Wesley H. Holliday, Tomohiro Hoshi, Thomas F. Icard III
Schematic Validity in Dynamic Epistemic Logic: Decidability. LORI (2011)
Wesley H. Holliday
Epistemic Logic, Relevant Alternatives, and the Dynamics of Context. ESSLLI Student Sessions (2011)
Wesley H. Holliday, Thomas F. Icard III
Moorean Phenomena in Epistemic Logic. Advances in Modal Logic (2010)
Wesley H. Holliday
Dynamic Testimonial Logic. LORI (2009)