Daniyar Shamkanov, “Non-well-founded derivations in the Gödel-Löb provability logic”, Rev. Symb. Log., 2020, том 13, выпуск 4,страницы 776–796

RUS ENG

Полная версия

ЖУРНАЛЫ // Review of Symbolic Logic // Архив

Rev. Symb. Log., 2020, том 13, выпуск 4, страницы 776–796 (Mi rsc1)

Эта публикация цитируется в 1 статье

Non-well-founded derivations in the Gödel-Löb provability logic

Daniyar Shamkanov^ab

^a Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
^b National Research University Higher School of Economics, Moscow, Russia

Язык публикации: английский

DOI: 10.1017/S1755020319000613

Список цитирования

Реферативные базы данных:

© МИАН, 2025