Αποστολή με SMS: Many−Valued First−Order Logics with Probabilistic Semantics