Binary Voting with Delegable Proxy: An Analysis of Liquid Democracy
The analysis first positions liquid democracy within the theory of binary aggregation, then focuses on two issues of the system: the occurrence of delegation cycles; and the effect of delegations on individual rationality when voting on logically interdependent propositions.
Stability in Binary Opinion Diffusion
Stabilization of the process of diffusion of binary opinions on networks is studied in terms of neighborhood structures, and how the monotone \(\mu \)-calculus can express relevant properties of them is shown.
Logical Models of Informational Cascades
In this paper, we investigate the social herding phenomenon known as informational cascades, in which sequential inter-agent communication might lead to epistemic failures at group level, despite…
Reflecting on Social Influence in Networks
This paper introduces a formal framework for representing reasoning about an individual’s private opinions and public behavior under the dynamics of social influence in social networks, and digs deeper into the involved information dynamics by modeling how individuals can learn about each other based on this reasoning.
Theoretical Aspects of Rationality and Knowledge (TARK 2017)
Proportional Budget Allocations: A Systematization
We contribute to the programme of lifting proportionality axioms from the multi-winner voting setting to participatory budgeting. We deﬁne novel proportionality axioms for participatory budgeting and…
A logic for diffusion in social networks
Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks
- A. Baltag, Z. Christoff, R. K. Rendsvig, S. Smets
- Computer ScienceStudia Logica: An International Journal for…
- 6 July 2018
This work constructs a minimal dynamic propositional logic to describe the threshold dynamics and shows that the logic is sound and complete, and extends this framework with an epistemic dimension and investigates how information about more distant neighbors’ behavior allows agents to anticipate changes in behavior of their closer neighbors.
Dynamic logics of networks: Information flow and the spread of opinion
- Z. Christoff
- Computer Science
Overall, this thesis applies tools from current logics of information update and agency to social network analysis and opinion flow over time, offering both tools for detailed modeling of specific scenarios and a better understanding of the general laws of reasoning that underlie information and diffusion dynamics in social settings.
A Two-Tiered Formalization of Social Influence
We propose a new dynamic hybrid logic to reason about social networks and their dynamics building on the work of “Logic in the Community” by Seligman, Liu and Girard. Our framework distinguishes…