Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning