Wesley H. Holliday

74 papers A* 5B 15C 1Journal 46Unranked 5

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	An extension of May's Theorem to three alternatives: axiomatizing Minimax voting. Soc. Choice Welf. Wesley H. Holliday, Eric Pacuit
2026	A*	`conf`	Stable Voting and the Splitting of Cycles. AAAI Wesley H. Holliday, Milan Mossé, Chase Norman, Eric Pacuit, Cynthia Wang
2026	J	`jnl`	The incompatibility of the Condorcet winner and loser criteria with positive or negative involvement and resolvability. CoRR Wesley H. Holliday
2025	J	`jnl`	An axiomatic characterization of Split Cycle. Soc. Choice Welf. Yifeng Ding, Wesley H. Holliday, Eric Pacuit
2025	J	`jnl`	Axiomatizations of a simple Condorcet voting method for Final Four and Final Five elections. CoRR Wesley H. Holliday
2025	J	`jnl`	Characterizations of voting rules based on majority margins. CoRR Yifeng Ding, Wesley H. Holliday, Eric Pacuit
2025	A*	`conf`	Learning to Manipulate Under Limited Information. AAAI Wesley H. Holliday, Alexander Kristoffersen, Eric Pacuit
2025	J	`jnl`	Possibility Frames and Forcing for Modal Logic. Australas. J. Log. Wesley H. Holliday
2025	J	`jnl`	Possibility Frames and Forcing for Modal Logic. CoRR Wesley H. Holliday
2025	J	`jnl`	Stable Voting and the Splitting of Cycles. CoRR Wesley H. Holliday, Milan Mossé, Chase Norman, Eric Pacuit, Cynthia Wang
2025	J	`jnl`	pref_voting: The Preferential Voting Tools package for Python. J. Open Source Softw. Wesley H. Holliday, Eric Pacuit
2024	J	`jnl`	A partial-state space model of unawareness. CoRR Wesley H. Holliday
2024	A*	`conf`	Conditional and Modal Reasoning in Large Language Models. EMNLP Wesley H. Holliday, Matthew Mandelkern, Cedegao Zhang
2024	J	`jnl`	Conditional and Modal Reasoning in Large Language Models. CoRR Wesley H. Holliday, Matthew Mandelkern
2024	J	`jnl`	Learning to Manipulate under Limited Information. CoRR Wesley H. Holliday, Alexander Kristoffersen, Eric Pacuit
2024	B	`conf`	Modal Logic, Fundamentally. AiML Wesley H. Holliday
2024	J	`jnl`	Modal logic, fundamentally. CoRR Wesley H. Holliday
2024	A*	`conf`	Position: Social Choice Should Guide AI Alignment in Dealing with Diverse Human Feedback. ICML 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
2024	J	`jnl`	Possibility Semantics. CoRR Wesley H. Holliday
2024	J	`jnl`	Social Choice for AI Alignment: Dealing with Diverse Human Feedback. CoRR 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
2024	J	`jnl`	The Orthologic of Epistemic Modals. J. Philos. Log. Wesley H. Holliday, Matthew Mandelkern
2024	J	`jnl`	The defensible set and a new impossibility theorem in voting. CoRR Wesley H. Holliday
2024	—	`conf`	Vagueness and the Connectives. TLLM Wesley H. Holliday
2024	J	`jnl`	Vagueness and the Connectives. CoRR Wesley H. Holliday
2023	J	`jnl`	An extension of May's Theorem to three alternatives: axiomatizing Minimax voting. CoRR Wesley H. Holliday, Eric Pacuit
2022	J	`jnl`	A fundamental non-classical logic. CoRR Wesley H. Holliday
2022	J	`jnl`	An Axiomatic Characterization of Split Cycle. CoRR Yifeng Ding, Wesley H. Holliday, Eric Pacuit
2022	J	`jnl`	An approach to generalizing some impossibility theorems in social choice. CoRR Wesley H. Holliday, Eric Pacuit, Saam Zahedian
2022	B	`conf`	Compatibility and accessibility: Lattice representations for semantics of non-classical and modal logics. AiML Wesley H. Holliday
2022	J	`jnl`	Compatibility and accessibility: lattice representation for semantics of non-classical and modal logics. CoRR Wesley H. Holliday
2022	B	`conf`	Non-classical modal logic for natural language. AiML Wesley H. Holliday
2022	J	`jnl`	The Orthologic of Epistemic Modals. CoRR Wesley H. Holliday, Matthew Mandelkern
2021	B	`conf`	Does Amy Know Ben Knows You Know Your Cards? A Computational Model of Higher-Order Epistemic Reasoning. CogSci Cedegao Zhang, Ham Huang, Wesley H. Holliday
2021	J	`jnl`	Escaping Arrow's Theorem: The Advantage-Standard Model. CoRR Wesley H. Holliday, Mikayla Kelley
2021	J	`jnl`	Logics of imprecise comparative probability. Int. J. Approx. Reason. Yifeng Ding, Wesley H. Holliday, Thomas F. Icard III
2021	B	`conf`	Measuring Violations of Positive Involvement in Voting. TARK Wesley H. Holliday, Eric Pacuit
2021	J	`jnl`	Preferential Structures for Comparative Probabilistic Reasoning. CoRR Matthew Harrison-Trainor, Wesley H. Holliday, Thomas F. Icard III
2021	J	`jnl`	Stable Voting. CoRR Wesley H. Holliday, Eric Pacuit
2021	—	`conf`	Voting Theory in the Lean Theorem Prover. LORI Wesley H. Holliday, Chase Norman, Eric Pacuit
2021	J	`jnl`	Voting Theory in the Lean Theorem Prover. CoRR Wesley H. Holliday, Chase Norman, Eric Pacuit
2020	J	`jnl`	A note on Murakami's theorems and incomplete social choice without the Pareto principle. Soc. Choice Welf. Wesley H. Holliday, Mikayla Kelley
2020	B	`conf`	Another Problem in Possible World Semantics. AiML Yifeng Ding, Wesley H. Holliday
2020	J	`jnl`	Arrow's decisive coalitions. Soc. Choice Welf. Wesley H. Holliday, Eric Pacuit
2020	J	`jnl`	Axioms for Defeat in Democratic Elections. CoRR Wesley H. Holliday, Eric Pacuit
2020	J	`jnl`	Choice-Free Stone duality. J. Symb. Log. Nick Bezhanishvili, Wesley H. Holliday
2020	B	`conf`	Inquisitive Intuitionistic Logic. AiML Wesley H. Holliday
2020	J	`jnl`	Split Cycle: A New Condorcet Consistent Voting Method Independent of Clones and Immune to Spoilers. CoRR Wesley H. Holliday, Eric Pacuit
2020	J	`jnl`	The Logic of Comparative Cardinality. J. Symb. Log. Yifeng Ding, Matthew Harrison-Trainor, Wesley H. Holliday
2019	J	`jnl`	A Note on Algebraic Semantics for S5 with Propositional Quantifiers. Notre Dame J. Formal Log. Wesley H. Holliday
2019	C	`conf`	Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality. WoLLIC Nick Bezhanishvili, Gianluca Grilletti, Wesley H. Holliday
2019	J	`jnl`	Complete additivity and Modal Incompleteness. Rev. Symb. Log. Wesley H. Holliday, Tadeusz Litak
2019	B	`conf`	Strategic Voting Under Uncertainty About the Voting Method. TARK Wesley H. Holliday, Eric Pacuit
2019	B	`conf`	When Do Introspection Axioms Matter for Multi-Agent Epistemic Reasoning? TARK Yifeng Ding, Wesley H. Holliday, Cedegao Zhang
2018	J	`jnl`	Complete Additivity and Modal Incompleteness. CoRR Wesley H. Holliday, Tadeusz Litak
2018	J	`jnl`	Editorial Logic, Rationality and Interaction (LORI-5): Introduction to the Special Issue. J. Log. Comput. Wiebe van der Hoek, Wesley H. Holliday, Wen-Fang Wang
2018	J	`jnl`	Inferring probability comparisons. Math. Soc. Sci. Matthew Harrison-Trainor, Wesley H. Holliday, Thomas F. Icard III
2018	J	`jnl`	Logic, rationality and interaction (LORI-5): introduction to the special issue. Synth. Wiebe van der Hoek, Wesley H. Holliday, Wen-Fang Wang
2018	B	`conf`	One Modal Logic to Rule Them All?. Advances in Modal Logic Wesley H. Holliday, Tadeusz Litak
2017	J	`jnl`	A bimodal perspective on possibility semantics. J. Log. Comput. Johan van Benthem, Nick Bezhanishvili, Wesley H. Holliday
2017	B	`conf`	Indicative Conditionals and Dynamic Epistemic Logic. TARK Wesley H. Holliday, Thomas F. Icard III
2017	J	`jnl`	On the Modal Logic of Subset and Superset: Tense Logic over Medvedev Frames. Stud Logica Wesley H. Holliday
2017	A*	`conf`	Preferential Structures for Comparative Probabilistic Reasoning. AAAI Matthew Harrison-Trainor, Wesley H. Holliday, Thomas F. Icard III
2016	B	`conf`	Locales, Nuclei, and Dragalin Frames. Advances in Modal Logic Guram Bezhanishvili, Wesley H. Holliday
2015	J	`jnl`	Epistemic Closure and Epistemic Logic I: Relevant Alternatives and Subjunctivism. J. Philos. Log. Wesley H. Holliday
2015	J	`jnl`	Erratum to: Epistemic Closure and Epistemic Logic I: Relevant Alternatives and Subjunctivism. J. Philos. Log. Wesley H. Holliday
2015	—	`ed.`	Logic, Rationality, and Interaction - 5th International Workshop, LORI 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings LORI Wiebe van der Hoek, Wesley H. Holliday, Wen-Fang Wang
2014	B	`conf`	Partiality and Adjointness in Modal Logic. Advances in Modal Logic Wesley H. Holliday
2014	—	`ch.`	Roles, Rigidity, and Quantification in Epistemic Logic. Johan van Benthem on Logic and Information Dynamics Wesley H. Holliday, John Perry
2013	J	`jnl`	Information dynamics and uniform substitution. Synth. Wesley H. Holliday, Tomohiro Hoshi, Thomas F. Icard III
2012	B	`conf`	A Uniform Logic of Information Dynamics. Advances in Modal Logic Wesley H. Holliday, Tomohiro Hoshi, Thomas F. Icard III
2011	—	`conf`	Epistemic Logic, Relevant Alternatives, and the Dynamics of Context. ESSLLI Student Sessions Wesley H. Holliday
2011	—	`conf`	Schematic Validity in Dynamic Epistemic Logic: Decidability. LORI Wesley H. Holliday, Tomohiro Hoshi, Thomas F. Icard III
2010	B	`conf`	Moorean Phenomena in Epistemic Logic. Advances in Modal Logic Wesley H. Holliday, Thomas F. Icard III
2009	—	`conf`	Dynamic Testimonial Logic. LORI Wesley H. Holliday