|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Sequent calculus for intuitionistic epistemic logic. Eprint arXiv: 1508.07851v1статья
- Авторы: Krupski Vladimir N., Alexey Yatmanov
- Журнал: ArXiv e-prints
- Номер: 1508.07851v1
- Год издания: 2015
- Первая страница: 1
- Последняя страница: 15
- Аннотация: Предложена секвенциальная формулировка без сечения для интуиционистской эпистемической логики IEL (S.Artemov, T.Protopopescu, 2014). Доказано, что логика IEL является PSPACE-полной.
- Добавил в систему: Крупский Владимир Николаевич