2002/02/20 by Daniel Lehmann, Lehmann, Daniel
Computer Science · Decision Sciences · #Advanced Algebra and Logic #Auction Theory and Applications #Logic, Reasoning, and Knowledge #cs.AI
paper · pdf · doi:10.48550/arxiv.cs/0202033
9 pages. Unpublished
arxiv created 2002/02/20 · arxiv updated 2009/11/30
The Expansion property considered by researchers in Social Choice is shown to correspond to a logical property of nonmonotonic consequence relations that is the \em pure, i.e., not involving connectives, version of a previously known weak rationality condition. The assumption that the union of two definable sets of models is definable is needed for the soundness part of the result.