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 5 scientific papers (total in 5 papers)

Non-well-founded proofs for the Grzegorczyk modal logic

Yury Savateev, Daniyar Shamkanov

Steklov Mathematical Institute of Russian Academy of Sciences, Moscow

Citations (5)

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 5 articles:

Bahareh Afshari, Dominik Wehr, “Abstract cyclic proofs”, Math. Struct. Comp. Sci., 2024, 1
Daniyar Shamkanov, “On structural proof theory of the modal logic K+ extended with infinitary derivations”, Logic Journal of the IGPL, 2024
D. Fernández-Duque, P. Shafer, H. Towsner, K. Yokoyama, “Metric fixed point theory and partial impredicativity”, Phil. Trans. R. Soc. A., 381:2248 (2023)
Bahareh Afshari, Dominik Wehr, Lecture Notes in Computer Science, 13468, Logic, Language, Information, and Computation, 2022, 309
Takao Inoue, “A Sound Interpretation of Leśniewski's Epsilon in Modal Logic KTB”, B Sect Log, 50:4 (2021), 455

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

Statistics & downloads:
Abstract page:	90