Отправить по sms: Логическая семантика и модальная логика