Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System P