Wesley H. Holliday

According to our database, Wesley H. Holliday authored at least 54 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

The Orthologic of Epistemic Modals.

Wesley H. Holliday, Matthew Mandelkern

J. Philos. Log., August, 2024

Possibility Semantics.

Wesley H. Holliday

CoRR, 2024

Social Choice for AI Alignment: Dealing with Diverse Human Feedback.

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

CoRR, 2024

Conditional and Modal Reasoning in Large Language Models.

Wesley H. Holliday, Matthew Mandelkern

CoRR, 2024

Learning to Manipulate under Limited Information.

Wesley H. Holliday, Alexander Kristoffersen, Eric Pacuit

CoRR, 2024

The defensible set and a new impossibility theorem in voting.

Wesley H. Holliday

CoRR, 2024

Position: Social Choice Should Guide AI Alignment in Dealing with Diverse Human Feedback.

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

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Conditional and Modal Reasoning in Large Language Models.

Wesley H. Holliday, Matthew Mandelkern, Cedegao Zhang

Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, 2024

Modal Logic, Fundamentally.

Wesley H. Holliday

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

2023

An extension of May's Theorem to three alternatives: axiomatizing Minimax voting.

Wesley H. Holliday, Eric Pacuit

CoRR, 2023

2022

An Axiomatic Characterization of Split Cycle.

Yifeng Ding, Wesley H. Holliday, Eric Pacuit

CoRR, 2022

An approach to generalizing some impossibility theorems in social choice.

Wesley H. Holliday, Eric Pacuit, Saam Zahedian

CoRR, 2022

A fundamental non-classical logic.

Wesley H. Holliday

CoRR, 2022

Compatibility and accessibility: lattice representation for semantics of non-classical and modal logics.

Wesley H. Holliday

CoRR, 2022

Compatibility and accessibility: Lattice representations for semantics of non-classical and modal logics.

Wesley H. Holliday

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

Non-classical modal logic for natural language.

Wesley H. Holliday

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

Logics of imprecise comparative probability.

Yifeng Ding, Wesley H. Holliday, Thomas F. Icard III

Int. J. Approx. Reason., 2021

Escaping Arrow's Theorem: The Advantage-Standard Model.

Wesley H. Holliday, Mikayla Kelley

CoRR, 2021

Stable Voting.

Wesley H. Holliday, Eric Pacuit

CoRR, 2021

Measuring Violations of Positive Involvement in Voting.

Wesley H. Holliday, Eric Pacuit

Proceedings of the Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2021

Voting Theory in the Lean Theorem Prover.

Wesley H. Holliday, Chase Norman, Eric Pacuit

Proceedings of the Logic, Rationality, and Interaction - 8th International Workshop, 2021

Does Amy Know Ben Knows You Know Your Cards? A Computational Model of Higher-Order Epistemic Reasoning.

Cedegao Zhang, Ham Huang, Wesley H. Holliday

Proceedings of the 43rd Annual Meeting of the Cognitive Science Society, 2021

2020

Arrow's decisive coalitions.

Wesley H. Holliday, Eric Pacuit

Soc. Choice Welf., 2020

A note on Murakami's theorems and incomplete social choice without the Pareto principle.

Wesley H. Holliday, Mikayla Kelley

Soc. Choice Welf., 2020

The Logic of Comparative Cardinality.

Yifeng Ding, Matthew Harrison-Trainor, Wesley H. Holliday

J. Symb. Log., 2020

Choice-Free Stone duality.

Nick Bezhanishvili, Wesley H. Holliday

J. Symb. Log., 2020

Axioms for Defeat in Democratic Elections.

Wesley H. Holliday, Eric Pacuit

CoRR, 2020

Split Cycle: A New Condorcet Consistent Voting Method Independent of Clones and Immune to Spoilers.

Wesley H. Holliday, Eric Pacuit

CoRR, 2020

Inquisitive Intuitionistic Logic.

Wesley H. Holliday

Proceedings of the 13th Conference on Advances in Modal Logic, 2020

Another Problem in Possible World Semantics.

Yifeng Ding, Wesley H. Holliday

Proceedings of the 13th Conference on Advances in Modal Logic, 2020

2019

Complete additivity and Modal Incompleteness.

Wesley H. Holliday, Tadeusz Litak

Rev. Symb. Log., 2019

A Note on Algebraic Semantics for S5 with Propositional Quantifiers.

Wesley H. Holliday

Notre Dame J. Formal Log., 2019

Strategic Voting Under Uncertainty About the Voting Method.

Wesley H. Holliday, Eric Pacuit

Proceedings of the Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, 2019

When Do Introspection Axioms Matter for Multi-Agent Epistemic Reasoning?

Yifeng Ding, Wesley H. Holliday, Cedegao Zhang

Proceedings of the Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, 2019

Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality.

Nick Bezhanishvili, Gianluca Grilletti, Wesley H. Holliday

Proceedings of the Logic, Language, Information, and Computation, 2019

2018

Logic, rationality and interaction (LORI-5): introduction to the special issue.

Wiebe van der Hoek, Wesley H. Holliday, Wen-Fang Wang

Synth., 2018

Inferring probability comparisons.

Matthew Harrison-Trainor, Wesley H. Holliday, Thomas F. Icard III

Math. Soc. Sci., 2018

Editorial Logic, Rationality and Interaction (LORI-5): Introduction to the Special Issue.

Wiebe van der Hoek, Wesley H. Holliday, Wen-Fang Wang

J. Log. Comput., 2018

One Modal Logic to Rule Them All?.

Wesley H. Holliday, Tadeusz Litak

Proceedings of the Advances in Modal Logic 12, 2018

2017

On the Modal Logic of Subset and Superset: Tense Logic over Medvedev Frames.

Wesley H. Holliday

Stud Logica, 2017

A bimodal perspective on possibility semantics.

Johan van Benthem, Nick Bezhanishvili, Wesley H. Holliday

J. Log. Comput., 2017

Indicative Conditionals and Dynamic Epistemic Logic.

Wesley H. Holliday, Thomas F. Icard III

Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

Preferential Structures for Comparative Probabilistic Reasoning.

Matthew Harrison-Trainor, Wesley H. Holliday, Thomas F. Icard III

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Locales, Nuclei, and Dragalin Frames.

Guram Bezhanishvili, Wesley H. Holliday

Proceedings of the Advances in Modal Logic 11, 2016

2015

Erratum to: Epistemic Closure and Epistemic Logic I: Relevant Alternatives and Subjunctivism.

Wesley H. Holliday

J. Philos. Log., 2015

Epistemic Closure and Epistemic Logic I: Relevant Alternatives and Subjunctivism.

Wesley H. Holliday

J. Philos. Log., 2015

2014

Partiality and Adjointness in Modal Logic.

Wesley H. Holliday

Proceedings of the Advances in Modal Logic 10, 2014

Roles, Rigidity, and Quantification in Epistemic Logic.

Wesley H. Holliday, John Perry

Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014

2013

Information dynamics and uniform substitution.

Wesley H. Holliday, Tomohiro Hoshi, Thomas F. Icard III

Synth., 2013

2012

A Uniform Logic of Information Dynamics.

Wesley H. Holliday, Tomohiro Hoshi, Thomas F. Icard III

Proceedings of the Advances in Modal Logic 9, 2012

2011

Schematic Validity in Dynamic Epistemic Logic: Decidability.

Wesley H. Holliday, Tomohiro Hoshi, Thomas F. Icard III

Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011

Epistemic Logic, Relevant Alternatives, and the Dynamics of Context.

Wesley H. Holliday

Proceedings of the New Directions in Logic, Language and Computation, 2011

2010

Moorean Phenomena in Epistemic Logic.

Wesley H. Holliday, Thomas F. Icard III

Proceedings of the Advances in Modal Logic 8, 2010

2009

Dynamic Testimonial Logic.

Wesley H. Holliday

Proceedings of the Logic, Rationality, and Interaction, Second International Workshop, 2009