Cut elimination and complexity bounds for intuitionistic epistemic logicстатья
Статья опубликована в высокорейтинговом журнале
Информация о цитировании статьи получена из
Web of Science,
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 7 июля 2020 г.
Аннотация:Для интуиционистской эпистемической логики IEL предложена секвенциальная форммулировка без правила сечения. Показано, что проблема выводимости для логики IEL является PSPACE-полной.