A Logical Language for Reasoning About Democratic Decision-Making

Every day we make decisions and some of them have impact on people and the environment around us on a different scale. Liquid democracy is a form of democratic decision-making considered as a dynamic solution to voting. For each issue submitted to vote, each agent can either cast its own vote, or it can delegate its vote to another agent – a proxy – and that agent can delegate in turn to yet another agent and so on. This differentiates liquid democracy from standard proxy voting, where proxies cannot delegate their vote further. The purpose of this paper is to provide a logical language, via epistemic logic, of the liquid democracy voting system based on delegable proxy. In particular, I will define two new predicates “vote” and “delegate”, the notions of “epistemic scenario”, “epistemic condition” and, finally, the situation of “knowledge transition”, with the definition of a specific “knowledge transition operator”.