Skip to Main content Skip to Navigation
Journal articles

Judgment aggregation in dynamic logic of propositional assignments

Arianna Novaro 1 Umberto Grandi 1 Andreas Herzig 1
1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
IRIT - Institut de recherche en informatique de Toulouse
Abstract : Judgment aggregation models a group of agents having to collectively decide over a number of logically interconnected issues starting from their individual opinions. In recent years, a growing literature has focused on the design of logical systems for social choice theory, and for judgment aggregation in particular, making use of logical languages designed ad hoc for this purpose. In this paper we deploy the existing formalism of Dynamic Logic of Propositional Assignments (DL-PA), an instance of Propositional Dynamic Logic where atomic programs affect propositional valuations. We show that DL-PA is a well-suited formalism for modeling the aggregation of binary judgments from multiple agents, by providing logical equivalences in DL-PA for some of the best-known aggregation procedures, desirable axioms coming from the literature on judgment aggregation and properties for the safety of the agenda problem.
Document type :
Journal articles
Complete list of metadatas

Cited literature [46 references]  Display  Hide  Download
Contributor : Françoise Grélaud <>
Submitted on : Monday, September 14, 2020 - 2:26:19 PM
Last modification on : Wednesday, November 18, 2020 - 10:30:21 AM


Files produced by the author(s)



Arianna Novaro, Umberto Grandi, Andreas Herzig. Judgment aggregation in dynamic logic of propositional assignments. Journal of Logic and Computation, Oxford University Press (OUP), 2018, 28 (7), pp.1471-1498. ⟨10.1093/logcom/exy024⟩. ⟨hal-02089335v2⟩



Record views


Files downloads