Probabilistic Semantics for Modal Logic