Zaslat SMS: Nonmonotonic Probabilistic Logics between Model−Theoretic Probabilistic Logic and Probabilistic Logic under Coherence