Вычислительная сложность градуированных модальных логикдоклад на конференции