A cut-free proof system for a predicate extension of the logic of provability

Autor:	Tanaka, Yoshihide
Zdroj:	Reports on Mathematical Logic. (53):97-109
Databáze:	Central and Eastern European Online Library (CEEOL)
Externí odkaz:	https://www.ceeol.com/search/article-detail?id=709068 Zobrazit plný text záznamu