Logical modalitiesтезисы доклада