Natural deduction for modal logic of judgment aggregation (Q1698339): Difference between revisions

@@ Property / cites work @@
+Q2783476
@@ Property / cites work: Q2783476 / rank @@
+Normal rank
@@ Property / cites work @@
+Ranking judgments in Arrow's setting
@@ Property / cites work: Ranking judgments in Arrow's setting / rank @@
+Normal rank
@@ Property / cites work @@
+Arrow's theorem in judgment aggregation
@@ Property / cites work: Arrow's theorem in judgment aggregation / rank @@
+Normal rank
@@ Property / cites work @@
+Aggregation of binary evaluations
@@ Property / cites work: Aggregation of binary evaluations / rank @@
+Normal rank
@@ Property / cites work @@
+Three brief proofs of Arrow's impossibility theorem
+Normal rank
@@ Property / cites work @@
+Lifting integrity constraints in binary aggregation
+Normal rank
@@ Property / cites work @@
+First-order logic formalisation of impossibility theorems in preference aggregation
+Normal rank
@@ Property / cites work @@
+Reasoning about collectively accepted group beliefs
+Normal rank
@@ Property / cites work @@
+Q3741337
@@ Property / cites work: Q3741337 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer-aided proofs of Arrow's and other impossibility theorems
+Normal rank
@@ Property / cites work @@
+Reasoning about social choice functions
@@ Property / cites work: Reasoning about social choice functions / rank @@
+Normal rank