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