![]() |
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Дается обзор классических и недавно полученных, в том числе докладчиком, результатов, касающихся вычислительной сложности модальных логик с градуированными модальностями.