The following pages link to Logic and social choice theory (Q2851841):
Displaying 12 items.
- First-order logic formalisation of impossibility theorems in preference aggregation (Q373021) (← links)
- Graph aggregation (Q514143) (← links)
- On the role of language in social choice theory (Q948988) (← links)
- Social choice and Lukasiewicz logic (Q1182214) (← links)
- Logics for social behaviour: an editorial (Q1615987) (← links)
- Inductive reasoning in social choice theory (Q2008634) (← links)
- Voting theory in the Lean theorem prover (Q2148823) (← links)
- Arrow's decisive coalitions (Q2179473) (← links)
- Social choice rules driven by propositional logic (Q2248548) (← links)
- Preservation of semantic properties in collective argumentation: the case of aggregating abstract argumentation frameworks (Q2321270) (← links)
- Social choice and the logic of simple games (Q3103973) (← links)
- Representing voting rules in Łukasiewicz’s three-valued logic (Q5074371) (← links)