Pages that link to "Item:Q373021"
From MaRDI portal
The following pages link to First-order logic formalisation of impossibility theorems in preference aggregation (Q373021):
Displayed 5 items.
- Natural deduction for modal logic of judgment aggregation (Q1698339) (← links)
- Voting theory in the Lean theorem prover (Q2148823) (← links)
- Arrow's decisive coalitions (Q2179473) (← links)
- Representing voting rules in Łukasiewicz’s three-valued logic (Q5074371) (← links)
- Dependence and Independence in Social Choice: Arrow’s Theorem (Q5213648) (← links)