27 citations · 102 across the 16 of their papers we have counts for
18 papers
Possibility Frames and Forcing for Modal Logic
Wesley H. Holliday
This paper develops the model theory of normal modal logics based on partial "possibilities" instead of total "worlds," following Humberstone (1981) instead of Kripke (1963). Possi…
An Axiomatic Characterization of Split Cycle
Yifeng Ding, Wesley H. Holliday, Eric Pacuit
A number of rules for resolving majority cycles in elections have been proposed in the literature. Recently, Holliday and Pacuit (Journal of Theoretical Politics 33 (2021) 475-524)…
Impossibility theorems involving weakenings of expansion consistency and resoluteness in voting
Wesley H. Holliday, Chase Norman, Eric Pacuit +1
A fundamental principle of individual rational choice is Sen's axiom, also known as expansion consistency, stating that any alternative chosen from each of two menus must be ch…
A fundamental non-classical logic
Wesley H. Holliday
We give a proof-theoretic as well as a semantic characterization of a logic in the signature with conjunction, disjunction, negation, and the universal and existential quantifiers…
The Orthologic of Epistemic Modals
Wesley H. Holliday, Matthew Mandelkern
Epistemic modals have peculiar logical features that are challenging to account for in a broadly classical framework. For instance, while a sentence of the form $p\wedge\Diamond\ne…
Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
Wesley H. Holliday
In this paper, we study three representations of lattices by means of a set with a binary relation of compatibility in the tradition of Ploščica. The standard representations of co…