Transitivity in coherence-based probability logic