Daniyar Shamkanov, “Non-well-founded derivations in the Gödel-Löb provability logic”, Review of Symbolic Logic, 2020, Volume 13, Issue 4, Pages 776

Loading [MathJax]/jax/output/SVG/config.js

Review of Symbolic Logic

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Review of Symbolic Logic, 2020, Volume 13, Issue 4, Pages 776–796
DOI: https://doi.org/10.1017/S1755020319000613 (Mi rsc1)

This article is cited in 1 scientific paper (total in 1 paper)

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

Citations (1)

DOI: https://doi.org/10.1017/S1755020319000613

Bibliographic databases:

Document Type: Article

Language: English

Linking options:

https://www.mathnet.ru/eng/rsc1

This publication is cited in the following 1 articles:

Albert Atserias, Massimo Lauria, “Circular (Yet Sound) Proofs in Propositional Logic”, ACM Trans. Comput. Logic, 24:3 (2023), 1

Citing articles in Google Scholar: Russian citations, English citations
Related articles in Google Scholar: Russian articles, English articles

Statistics & downloads:
Abstract page:	40