Probabilistic Semanticsfor Modal Logic