Yury Savateev, Daniyar Shamkanov, “Non-well-founded proofs for the Grzegorczyk modal logic”, Review of Symbolic Logic, 2021, Volume 14, Issue 1, Pages 22

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, 2021, Volume 14, Issue 1, Pages 22–50
DOI: https://doi.org/10.1017/S1755020319000510 (Mi rsc2)

This article is cited in 7 scientific papers (total in 7 papers)

Non-well-founded proofs for the Grzegorczyk modal logic

Yury Savateev, Daniyar Shamkanov

Steklov Mathematical Institute of Russian Academy of Sciences, Moscow

Full-text PDF Citations (7)

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

Funding agency	Grant number
Russian Science Foundation	20-41-05002
This work is supported by the Russian Science Foundation under grant no. 20-41-05002.

Bibliographic databases:

Document Type: Article

Language: English

Linking options:

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

This publication is cited in the following 7 articles:

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

Statistics & downloads:
Abstract page:	205