8 citations · 17 across the 5 of their papers we have counts for
4 papers · 1 filter
Voting Theory in the Lean Theorem Prover
Wesley H. Holliday, Chase Norman, Eric Pacuit
There is a long tradition of fruitful interaction between logic and social choice theory. In recent years, much of this interaction has focused on computer-aided methods such as SA…
When Do Introspection Axioms Matter for Multi-Agent Epistemic Reasoning?
Yifeng Ding, Wesley H. Holliday, Cedegao Zhang
The early literature on epistemic logic in philosophy focused on reasoning about the knowledge or belief of a single agent, especially on controversies about "introspection axioms"…
Complete Additivity and Modal Incompleteness
Wesley H. Holliday, Tadeusz Litak
In this paper, we tell a story about incompleteness in modal logic. The story weaves together a paper of van Benthem, `Syntactic aspects of modal incompleteness theorems,' and a lo…
Indicative Conditionals and Dynamic Epistemic Logic
Wesley H. Holliday, Thomas F. Icard
Recent ideas about epistemic modals and indicative conditionals in formal semantics have significant overlap with ideas in modal logic and dynamic epistemic logic. The purpose of t…