Wesley H. Holliday is a contemporary American philosopher and logician working primarily in epistemic logic, modal logic, and formal epistemology. He is known for contributions to the semantics of knowledge, possibility semantics, and the logic of rational agency, including work on dynamic epistemic logic and game-theoretic reasoning.
Developed possibility semantics as an alternative to possible-worlds semantics for modal logic
Contributed foundational work on epistemic logic and the logic of knowledge
Published extensively on dynamic epistemic logic and belief revision
Advanced formal analyses of voting theory and social choice
Professor of Philosophy at UC Berkeley