Matches in SemOpenAlex for { <https://semopenalex.org/work/W2185132034> ?p ?o ?g. }
- W2185132034 endingPage "1017" @default.
- W2185132034 startingPage "1009" @default.
- W2185132034 abstract "We show how to formalise Arrow's Theorem on the impossibility of devising a method for preference aggregation that is both independent of irrelevant alternatives and Pareto efficient by using a modal logic of social choice functions. We also provide a syntactic proof of the theorem in that logic. While prior work has been successful in applying tools from logic and automated reasoning to social choice theory, this is the first human-readable formalisation of the Arrovian framework allowing for a direct derivation of the theorem." @default.
- W2185132034 created "2016-06-24" @default.
- W2185132034 creator A5044955303 @default.
- W2185132034 creator A5058049693 @default.
- W2185132034 date "2015-05-04" @default.
- W2185132034 modified "2023-10-18" @default.
- W2185132034 title "A Syntactic Proof of Arrow's Theorem in a Modal Logic of Social Choice Functions" @default.
- W2185132034 cites W119722335 @default.
- W2185132034 cites W1514489656 @default.
- W2185132034 cites W1552227627 @default.
- W2185132034 cites W1666573805 @default.
- W2185132034 cites W1840672264 @default.
- W2185132034 cites W193053345 @default.
- W2185132034 cites W2017527449 @default.
- W2185132034 cites W2036910311 @default.
- W2185132034 cites W2055770547 @default.
- W2185132034 cites W2057234686 @default.
- W2185132034 cites W2102219503 @default.
- W2185132034 cites W2102278383 @default.
- W2185132034 cites W2109558114 @default.
- W2185132034 cites W2113597321 @default.
- W2185132034 cites W2116274133 @default.
- W2185132034 cites W2117864711 @default.
- W2185132034 cites W2128765029 @default.
- W2185132034 cites W2167011055 @default.
- W2185132034 cites W2171568542 @default.
- W2185132034 cites W2263771924 @default.
- W2185132034 cites W2327081444 @default.
- W2185132034 cites W2402691386 @default.
- W2185132034 cites W2610670723 @default.
- W2185132034 cites W9921517 @default.
- W2185132034 doi "https://doi.org/10.5555/2772879.2773280" @default.
- W2185132034 hasPublicationYear "2015" @default.
- W2185132034 type Work @default.
- W2185132034 sameAs 2185132034 @default.
- W2185132034 citedByCount "5" @default.
- W2185132034 countsByYear W21851320342014 @default.
- W2185132034 countsByYear W21851320342016 @default.
- W2185132034 countsByYear W21851320342017 @default.
- W2185132034 countsByYear W21851320342021 @default.
- W2185132034 crossrefType "proceedings-article" @default.
- W2185132034 hasAuthorship W2185132034A5044955303 @default.
- W2185132034 hasAuthorship W2185132034A5058049693 @default.
- W2185132034 hasConcept C102993220 @default.
- W2185132034 hasConcept C11191006 @default.
- W2185132034 hasConcept C114092440 @default.
- W2185132034 hasConcept C118615104 @default.
- W2185132034 hasConcept C136119220 @default.
- W2185132034 hasConcept C142696051 @default.
- W2185132034 hasConcept C144237770 @default.
- W2185132034 hasConcept C185592680 @default.
- W2185132034 hasConcept C188027245 @default.
- W2185132034 hasConcept C189352744 @default.
- W2185132034 hasConcept C199360897 @default.
- W2185132034 hasConcept C202444582 @default.
- W2185132034 hasConcept C203659156 @default.
- W2185132034 hasConcept C27508121 @default.
- W2185132034 hasConcept C2780339515 @default.
- W2185132034 hasConcept C33923547 @default.
- W2185132034 hasConcept C41008148 @default.
- W2185132034 hasConcept C71139939 @default.
- W2185132034 hasConcept C80444323 @default.
- W2185132034 hasConceptScore W2185132034C102993220 @default.
- W2185132034 hasConceptScore W2185132034C11191006 @default.
- W2185132034 hasConceptScore W2185132034C114092440 @default.
- W2185132034 hasConceptScore W2185132034C118615104 @default.
- W2185132034 hasConceptScore W2185132034C136119220 @default.
- W2185132034 hasConceptScore W2185132034C142696051 @default.
- W2185132034 hasConceptScore W2185132034C144237770 @default.
- W2185132034 hasConceptScore W2185132034C185592680 @default.
- W2185132034 hasConceptScore W2185132034C188027245 @default.
- W2185132034 hasConceptScore W2185132034C189352744 @default.
- W2185132034 hasConceptScore W2185132034C199360897 @default.
- W2185132034 hasConceptScore W2185132034C202444582 @default.
- W2185132034 hasConceptScore W2185132034C203659156 @default.
- W2185132034 hasConceptScore W2185132034C27508121 @default.
- W2185132034 hasConceptScore W2185132034C2780339515 @default.
- W2185132034 hasConceptScore W2185132034C33923547 @default.
- W2185132034 hasConceptScore W2185132034C41008148 @default.
- W2185132034 hasConceptScore W2185132034C71139939 @default.
- W2185132034 hasConceptScore W2185132034C80444323 @default.
- W2185132034 hasLocation W21851320341 @default.
- W2185132034 hasOpenAccess W2185132034 @default.
- W2185132034 hasPrimaryLocation W21851320341 @default.
- W2185132034 hasRelatedWork W1489270299 @default.
- W2185132034 hasRelatedWork W1497433495 @default.
- W2185132034 hasRelatedWork W1511706077 @default.
- W2185132034 hasRelatedWork W1589257667 @default.
- W2185132034 hasRelatedWork W1607115167 @default.
- W2185132034 hasRelatedWork W1640711318 @default.
- W2185132034 hasRelatedWork W1981961379 @default.
- W2185132034 hasRelatedWork W1983240156 @default.
- W2185132034 hasRelatedWork W2007637032 @default.
- W2185132034 hasRelatedWork W2055902822 @default.
- W2185132034 hasRelatedWork W2060455629 @default.
- W2185132034 hasRelatedWork W2078730256 @default.
- W2185132034 hasRelatedWork W2102219503 @default.
- W2185132034 hasRelatedWork W2102278383 @default.