Pages that link to "Item:Q652736"
From MaRDI portal
The following pages link to Reasoning about social choice functions (Q652736):
Displaying 7 items.
- First-order logic formalisation of impossibility theorems in preference aggregation (Q373021) (← 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)
- Algorithmic Decision Theory Meets Logic (Q3449186) (← links)
- Representing voting rules in Łukasiewicz’s three-valued logic (Q5074371) (← links)
- Dependence and Independence in Social Choice: Arrow’s Theorem (Q5213648) (← links)
