MoL-2016-19: Judgment Aggregation in Dynamic Logic of Propositional Assignments

MoL-2016-19: Novaro, Arianna (2016) Judgment Aggregation in Dynamic Logic of Propositional Assignments. [Report]

[img]
Preview
Text
MoL-2016-19.text.pdf

Download (753kB) | Preview

Abstract

Judgment Aggregation studies how agents take a collective decision on a certain number of issues based on their individual opinions. In recent years, a line of research in Judgment Aggregation investigates how to model this framework within a logical calculus — usually designed ad hoc for this purpose. By contrast, in this thesis we show how it is possible to translate any aggregation problem formulated in Binary Aggregation with Integrity Constraints (a model for Judgment Aggregation) into Dynamic Logic of Propositional Assignments (an instance of Propositional Dynamic Logic). In the first part of our work, we show how to appropriately express many well-known aggregation procedures as programs. Then, we translate some desirable properties of aggregation rules, i.e. axioms, as formulas of the logic. Finally, we connect the work carried out in the previous parts to model results about a problem known as the safety of the agenda. The positive outcome of our approach thus suggests this to be a promising path for future investigation, both as a means to formally express other areas of Judgment Aggregation, and as opening the way towards the use of automated reasoning techniques in this field.

Item Type: Report
Report Nr: MoL-2016-19
Series Name: Master of Logic Thesis (MoL) Series
Year: 2016
Subjects: Computation
Logic
Depositing User: Dr Marco Vervoort
Date Deposited: 27 Oct 2016 15:51
Last Modified: 27 Oct 2016 15:51
URI: https://eprints.illc.uva.nl/id/eprint/1407

Actions (login required)

View Item View Item