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