Towards probabilistic formalisms for resolving local inconsistencies under model-theoretic probabilistic entailment, we present probabilistic generalizations of Pearl's entailment in System Z and Lehmann's lexicographic entailment. We then analyze the nonmonotonic and semantic properties of the new notions of entailment. In particular, we show that they satisfy the rationality postulates of System P and the property of Rational Monotonicity. Moreover, we show that model-t...