Добавление необходимости к модальным логикамдоклад на конференции