activity
20172025
most citedPossibility Frames and Forcing for Modal Logic

27 citations · 102 across the 16 of their papers we have counts for

collaborators
Showing 2022Show all

5 papers · 1 filter

econ.TH2022★ 2 cited

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)…

econ.TH2022★ 2 cited

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…

math.LO2022★ 12 cited

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…

cs.LO2022★ 3 cited

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…

math.LO2022★ 3 cited

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…