Judgment aggregation in dynamic logic of propositional assignments

摘要: Judgment aggregation models a group of agents having to collectively decide over number logically interconnected issues starting from their individual opinions. In recent years, growing literature has focused on the design logical systems for social choice theory, and judgment in particular, making use languages designed ad hoc this purpose. paper we deploy existing formalism Dynamic Logic Propositional Assignments (DL-PA), an instance where atomic programs affect propositional valuations. We show that DL-PA is well-suited modeling binary judgments multiple agents, by providing equivalences some best-known procedures, desirable axioms coming properties safety agenda problem.