In this paper, we introduce a logic to reason about group actions for groups that are defined by means of the majority rule. It is well known that majoritarian aggregation is subject to irrationality, as the results in social choice theory and judgment aggregation show. The logic of action that we use here for modelling group actions is based on a substructural propositional logic that allows for preventing inconsistent outcome. Agency is modeled by means of a “bringing-it-about” modal logic with coalitions. We show that, in this way, it is possible to obtain a consistent model of agency of groups that are defined in an aggregative manner.
Majoritarian group actions / Porello, D. - STAMPA. - (2015), pp. 416-432. ( 18th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2015 Bertinoro, Italia Ottobre 26–30, 2015) [10.1007/978-3-319-25524-8_26].
Majoritarian group actions
Porello D
2015-01-01
Abstract
In this paper, we introduce a logic to reason about group actions for groups that are defined by means of the majority rule. It is well known that majoritarian aggregation is subject to irrationality, as the results in social choice theory and judgment aggregation show. The logic of action that we use here for modelling group actions is based on a substructural propositional logic that allows for preventing inconsistent outcome. Agency is modeled by means of a “bringing-it-about” modal logic with coalitions. We show that, in this way, it is possible to obtain a consistent model of agency of groups that are defined in an aggregative manner.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione
