Moinard, Yves and Rolland, Raymond Characterizations of Preferential Entailments , Logic Journal of the IGPL , Oxford University Press , Vol. 10 , No. 3 , 243-270 , may , 2002 , Document Abstract The ``preferential entailments'' considered in this text are all defined in the same way, by a binary relation, or ``preference relation''. This relation can be among (1) interpretations, or (2) sets of interpretations, or among ``states'' which are (3) copies of interpretations or (4) copies of sets of interpretations. This provides four kinds of preferential entailments. What we do here is to provide a characterization result for these four kinds of preferential entailments. We choose properties as simple and natural as possible, and sometimes we provide various characterizations for the same notion. It appears that the apparently most complicated notion (4) possesses by far the simplest characterization result. A by-product of our results is that case (4) is equivalent to case (2): we can define directly the relation among sets of interpretations, eliminating the need for ``states'' in this case. The paper deals mainly with propositional logic, however it describes also the situation in first order logic. Any complete theory has one model in the propositional case and many models in the first order case. This is why the simplest notion (1) in the first order case has exactly the same syntactical characterization as the notion (3) in the propositional case. This web site is maintained by René Quiniou using the Weave system from the Caravel project: http://www-caravel.inria.fr. Last modification: 10-07-2011 09:54:25