 In this section, we will present a first family of probability logics, which are used to study questions of ‘probability preservation’ (or dually, ‘uncertainty propagation’). These systems do not extend the language with any probabilistic operators, but rather deal with a ‘classical’ propositional language \(\mathcal{L}\), which has a countable set of atomic propositions, and the usual truth-functional (Boolean) connectives.