Probabilistic Logic in a Coherent Setting