Dynamic Testimonial Logic. - Wesley H. Holliday (LORI, 2009)

Moorean Phenomena in Epistemic Logic. - Wesley H. Holliday; Thomas F. Icard III (Advances in Modal Logic, 2010)

Epistemic Logic, Relevant Alternatives, and the Dynamics of Context. - Wesley H. Holliday (ESSLLI Student Sessions, 2011)

Schematic Validity in Dynamic Epistemic Logic: Decidability. - Wesley H. Holliday; Tomohiro Hoshi; Thomas F. Icard III (LORI, 2011)

A Uniform Logic of Information Dynamics. - Wesley H. Holliday; Tomohiro Hoshi; Thomas F. Icard III (Advances in Modal Logic, 2012)

Information dynamics and uniform substitution. - Wesley H. Holliday; Tomohiro Hoshi; Thomas F. Icard III (Synth., 2013)

Roles, Rigidity, and Quantification in Epistemic Logic. - Wesley H. Holliday; John Perry (Johan van Benthem on Logic and Information Dynamics, 2014)

Partiality and Adjointness in Modal Logic. - Wesley H. Holliday (Advances in Modal Logic, 2014)

Epistemic Closure and Epistemic Logic I: Relevant Alternatives and Subjunctivism. - Wesley H. Holliday (J. Philos. Log., 2015)

Erratum to: Epistemic Closure and Epistemic Logic I: Relevant Alternatives and Subjunctivism. - Wesley H. Holliday (J. Philos. Log., 2015)

Locales, Nuclei, and Dragalin Frames. - Guram Bezhanishvili; Wesley H. Holliday (Advances in Modal Logic, 2016)

Preferential Structures for Comparative Probabilistic Reasoning. - Matthew Harrison-Trainor; Wesley H. Holliday; Thomas F. Icard III (AAAI, 2017)

Indicative Conditionals and Dynamic Epistemic Logic. - Wesley H. Holliday; Thomas F. Icard III (TARK, 2017)

A bimodal perspective on possibility semantics. - Johan van Benthem; Nick Bezhanishvili; Wesley H. Holliday (J. Log. Comput., 2017)

On the Modal Logic of Subset and Superset: Tense Logic over Medvedev Frames. - Wesley H. Holliday (Stud Logica, 2017)

One Modal Logic to Rule Them All?. - Wesley H. Holliday; Tadeusz Litak (Advances in Modal Logic, 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)

Inferring probability comparisons. - Matthew Harrison-Trainor; Wesley H. Holliday; Thomas F. Icard III (Math. Soc. Sci., 2018)

Logic, rationality and interaction (LORI-5): introduction to the special issue. - Wiebe van der Hoek; Wesley H. Holliday; Wen-Fang Wang (Synth., 2018)

Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality. - Nick Bezhanishvili; Gianluca Grilletti; Wesley H. Holliday (WoLLIC, 2019)

When Do Introspection Axioms Matter for Multi-Agent Epistemic Reasoning? - Yifeng Ding; Wesley H. Holliday; Cedegao Zhang (TARK, 2019)

Strategic Voting Under Uncertainty About the Voting Method. - Wesley H. Holliday; Eric Pacuit (TARK, 2019)

A Note on Algebraic Semantics for S5 with Propositional Quantifiers. - Wesley H. Holliday (Notre Dame J. Formal Log., 2019)

Complete additivity and Modal Incompleteness. - Wesley H. Holliday; Tadeusz Litak (Rev. Symb. Log., 2019)

Another Problem in Possible World Semantics. - Yifeng Ding; Wesley H. Holliday (AiML, 2020)

Inquisitive Intuitionistic Logic. - Wesley H. Holliday (AiML, 2020)

Split Cycle: A New Condorcet Consistent Voting Method Independent of Clones and Immune to Spoilers. - Wesley H. Holliday; Eric Pacuit (CoRR, 2020)

Axioms for Defeat in Democratic Elections. - Wesley H. Holliday; Eric Pacuit (CoRR, 2020)

Choice-Free Stone duality. - Nick Bezhanishvili; Wesley H. Holliday (J. Symb. Log., 2020)

The Logic of Comparative Cardinality. - Yifeng Ding; Matthew Harrison-Trainor; Wesley H. Holliday (J. Symb. Log., 2020)

A note on Murakami's theorems and incomplete social choice without the Pareto principle. - Wesley H. Holliday; Mikayla Kelley (Soc. Choice Welf., 2020)

Arrow's decisive coalitions. - Wesley H. Holliday; Eric Pacuit (Soc. Choice Welf., 2020)

Does Amy Know Ben Knows You Know Your Cards? A Computational Model of Higher-Order Epistemic Reasoning. - Cedegao Zhang; Ham Huang; Wesley H. Holliday (CogSci, 2021)

Voting Theory in the Lean Theorem Prover. - Wesley H. Holliday; Chase Norman; Eric Pacuit (LORI, 2021)

Measuring Violations of Positive Involvement in Voting. - Wesley H. Holliday; Eric Pacuit (TARK, 2021)

Stable Voting. - Wesley H. Holliday; Eric Pacuit (CoRR, 2021)

Escaping Arrow's Theorem: The Advantage-Standard Model. - Wesley H. Holliday; Mikayla Kelley (CoRR, 2021)

Logics of imprecise comparative probability. - Yifeng Ding; Wesley H. Holliday; Thomas F. Icard III (Int. J. Approx. Reason., 2021)

Non-classical modal logic for natural language. - Wesley H. Holliday (AiML, 2022)

Compatibility and accessibility: Lattice representations for semantics of non-classical and modal logics. - Wesley H. Holliday (AiML, 2022)

Compatibility and accessibility: lattice representation for semantics of non-classical and modal logics. - Wesley H. Holliday (CoRR, 2022)

A fundamental non-classical logic. - Wesley H. Holliday (CoRR, 2022)

An approach to generalizing some impossibility theorems in social choice. - Wesley H. Holliday; Eric Pacuit; Saam Zahedian (CoRR, 2022)

An extension of May's Theorem to three alternatives: axiomatizing Minimax voting. - Wesley H. Holliday; Eric Pacuit (CoRR, 2023)

Modal Logic, Fundamentally. - Wesley H. Holliday (AiML, 2024)

Conditional and Modal Reasoning in Large Language Models. - Wesley H. Holliday; Matthew Mandelkern; Cedegao Zhang (EMNLP, 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 001; Milan Mossé; Eric Pacuit; Stuart Russell 001; Hailey Schoelkopf; Emanuel Tewolde; William S. Zwicker (ICML, 2024)

Vagueness and the Connectives. - Wesley H. Holliday (TLLM, 2024)

The defensible set and a new impossibility theorem in voting. - Wesley H. Holliday (CoRR, 2024)

Conditional and Modal Reasoning in Large Language Models. - Wesley H. Holliday; Matthew Mandelkern (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 001; Milan Mossé; Eric Pacuit; Stuart Russell 001; Hailey Schoelkopf; Emanuel Tewolde; William S. Zwicker (CoRR, 2024)

Possibility Semantics. - Wesley H. Holliday (CoRR, 2024)

A partial-state space model of unawareness. - Wesley H. Holliday (CoRR, 2024)

The Orthologic of Epistemic Modals. - Wesley H. Holliday; Matthew Mandelkern (J. Philos. Log., 2024)

Learning to Manipulate Under Limited Information. - Wesley H. Holliday; Alexander Kristoffersen; Eric Pacuit (AAAI, 2025)

Characterizations of voting rules based on majority margins. - Yifeng Ding; Wesley H. Holliday; Eric Pacuit (CoRR, 2025)

Possibility Frames and Forcing for Modal Logic. - Wesley H. Holliday (CoRR, 2025)

pref_voting: The Preferential Voting Tools package for Python. - Wesley H. Holliday; Eric Pacuit (J. Open Source Softw., 2025)

An axiomatic characterization of Split Cycle. - Yifeng Ding; Wesley H. Holliday; Eric Pacuit (Soc. Choice Welf., 2025)