Natural deduction for modal logic of judgment aggregation

DOI10.1007/s10849-016-9235-xzbMath1396.03035OpenAlexW2339892231MaRDI QIDQ1698339

Tin Perkov

Publication date: 15 February 2018

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-016-9235-x

zbMATH Keywords

modal logicsocial choicenatural deductionjudgment aggregation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Social choice (91B14)

Related Items (1)

Judgement aggregation in non-classical logics

Cites Work

• Unnamed Item
• Unnamed Item
• First-order logic formalisation of impossibility theorems in preference aggregation
• Reasoning about collectively accepted group beliefs
• Reasoning about social choice functions
• Computer-aided proofs of Arrow's and other impossibility theorems
• Aggregation of binary evaluations
• Ranking judgments in Arrow's setting
• Three brief proofs of Arrow's impossibility theorem
• Lifting integrity constraints in binary aggregation
• Arrow's theorem in judgment aggregation

This page was built for publication: Natural deduction for modal logic of judgment aggregation