Probabilistic logic under coherence and default reasoning