Envoyer par SMS: Issues in epistemic and modal logics and their applications /