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):
Displaying 9 items.
- On the role of language in social choice theory (Q948988) (← links)
- Formalizing Arrow's theorem (Q1040010) (← links)
- 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)
- Social choice theory in HOL. Arrow and Gibbard-Satterthwaite (Q2655324) (← links)
- Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects (Q3081450) (← links)
- Representing voting rules in Łukasiewicz’s three-valued logic (Q5074371) (← links)
- Dependence and Independence in Social Choice: Arrow’s Theorem (Q5213648) (← links)