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