Email-запись: Логическая семантика и модальная логика