Probabilistic Semantics For Modal Logic