Wesley Holliday

In this talk at Topology, Algebra, and Categories in Logic (TACL) 2019 (https://math.unice.fr/tacl/2019/invited-speakers.html), I survey a recent research program of investigating “possibility semantics”, a generalization of possible world semantics, for modal, superintuitionistic, and inquisitive logics.

Poster for the paper at http://dx.doi.org/10.4204/EPTCS.297.17. Paper abstract: Much of the theoretical work on strategic voting makes strong assumptions about what voters know about the voting situation. A strategizing voter is typically assumed to know how other voters will vote and to know the rules of the voting method. A growing body of literature explores strategic voting when there is uncertainty about how others will vote. In this paper, we study strategic voting when there is uncertainty about the voting method. We introduce three notions of manipulability for a set of voting methods: sure, safe, and expected manipulability. With the help of a computer program, we identify voting scenarios in which uncertainty about the voting method may reduce or even eliminate a voter's incentive to misrepresent her preferences. Thus, it may be in the interest of an election designer who wishes to reduce strategic voting to leave voters uncertain about which of several reasonable voting methods will be used to determine the winners of an election.