Envoyer par SMS: Many−Valued First−Order Logics with Probabilistic Semantics