 Remarkably, both semantics lead to the same conditional logics. Both semantics possess the system \(P\) (“preferential entailment”) as a correct and complete axiomatization of inferences among pure conditionals, and the system \(R\) (“rational entailment”) for inferences among truth-function combinations of conditionals (for more details cf. Kraus et al. 1990, Hawthorne 1996, Adams 1975, Schurz 1998, 2004, 2005, Leitgeb 2004, and the SEP-entry on non-monotonic logic).