OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Judgment aggregation in dynamic logic of propositional assignments

Novaro, Arianna and Grandi, Umberto and Herzig, Andreas Judgment aggregation in dynamic logic of propositional assignments. (2018) Journal of Logic and Computation, 28 (7). 1471-1498. ISSN 0955-792X

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
773kB

Official URL: https://doi.org/10.1093/logcom/exy024

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.

Item Type:Article
HAL Id:hal-02089335
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Funders:
IDEX UNITI ANR-11-IDEX-0022-02
Statistics:download
Deposited By: IRIT IRIT
Deposited On:29 Mar 2019 14:50

Repository Staff Only: item control page