|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Sequent calculus for intuitionistic epistemic logic IELдоклад на конференции
- Авторы: Yatmanov A., Krupski V.N.
- Международная Конференция (Симпозиум) : Symposium on Logical Foundations of Computer Science, LFCS 2016
- Даты проведения конференции: 4-7 января 2016
- Дата доклада: 4 января 2016
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Флорида, United States
-
Аннотация доклада:
Предложена секвенциальная формулировка без сечения для интуиционистской эпистемической логики IEL. Установлено, что логика IEL является PSPACE-полной.
- Добавил в систему: Крупский Владимир Николаевич