Arrow logic and multi-modal logic
Modal logic
Logical Preference Representation and Combinatorial Vote
Annals of Mathematics and Artificial Intelligence
A logic of games and propositional control
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Logic for automated mechanism design: a progress report
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
First-order logic formalisation of Arrow's theorem
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Multi-agent belief revision with linked preferences
LOFT'08 Proceedings of the 8th international conference on Logic and the foundations of game and decision theory
On the logic of preference and judgment aggregation
Autonomous Agents and Multi-Agent Systems
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
| Hi-index | 0.00 |
Agents that must reach agreements with other agents need to reason about how their preferences, judgments, and beliefs might be aggregated with those of others by the social choice mechanisms that govern their interactions. The recently emerging field of judgment aggregation studies aggregation from a logical perspective, and considers how multiple sets of logical formulae can be aggregated to a single consistent set. As a special case, judgment aggregation can be seen to subsume classical preference aggregation. We present a modal logic that is intended to support reasoning about judgment aggregation scenarios (and hence, as a special case, about preference aggregation): the logical language is interpreted directly in judgment aggregation rules. We present a sound and complete axiomatisation of such rules. We show that the logic can express aggregation rules such as majority voting; rule properties such as independence; and results such as the discursive paradox, Arrow's theorem and Condorcet's paradox - which are derivable as formal theorems of the logic. The logic is parameterised in such a way that it can be used as a general framework for comparing the logical properties of different types of aggregation - including classical preference aggregation.