PROBABILISTIC LOGIC UNDER COHERENCE, MODEL-THEORETIC PROBABILISTIC LOGIC, AND DEFAULT REASONING IN SYSTEM {$P$}