ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ИНХС РАН |
||
Предложена секвенциальная формулировка без сечения для интуиционистской эпистемической логики IEL. Установлено, что логика IEL является PSPACE-полной.