Logics of time and computation
Logics of time and computation
Modal logic
The logic of public announcements, common knowledge, and private suspicions
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
Electronic Notes in Theoretical Computer Science (ENTCS)
Logics of communication and change
Information and Computation
Reasoning about judgment and preference aggregation
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Propositional Dynamic Logic as a Logic of Belief Revision
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
PDL with intersection and converse is decidable
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
| Hi-index | 0.00 |
In this paper we forge a connection between dynamic epistemic logics of belief revision on one hand and studies of collective judgement and multi-agent preference change on the other. Belief revision in the spirit of dynamic epistemic logic uses updating with relational substitutions to change the beliefs of individual agents. Collective judgement in social choice theory studies the collective outcomes of individual belief changes. We start out from the logic of communication and change (LCC) without constraints, and then study the effects of imposing a single constraint, namely the constraint that the agent's preference relations are linked. Finally, we show that the resulting framework can be used to model consensus seeking procedures. We focus on the case of plenary Dutch meetings. In Dutch meetings, a belief change (or rather: preference change) is performed for all agents in the meeting if a majority believes (or: is in favour of) the proposition that is under discussion. A special case of these meetings is judgement aggregation, and we apply our framework to the discursive dilemma in this field. Our framework has obvious connections to coalition logic and social choice theory.