Pages that link to "Item:Q652736"
From MaRDI portal
The following pages link to Reasoning about social choice functions (Q652736):
Displaying 15 items.
- First-order logic formalisation of impossibility theorems in preference aggregation (Q373021) (← links)
- Automated reasoning in social choice theory: some remarks (Q475377) (← links)
- Social choice and Lukasiewicz logic (Q1182214) (← 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)
- Logic and social choice theory (Q2851841) (← links)
- Algorithmic Decision Theory Meets Logic (Q3449186) (← links)
- (Q3751316) (← links)
- Social choice function with subordinate relations as one variable (Q4717405) (← links)
- Representing voting rules in Łukasiewicz’s three-valued logic (Q5074371) (← links)
- Dependence and Independence in Social Choice: Arrow’s Theorem (Q5213648) (← links)
- Rational decision principle and social choice function (Q5752262) (← links)
- (Q5860587) (← links)
- Rationalizable implementation of social choice functions: Complete characterization (Q6053652) (← links)