Daniyar Shamkanov, “Nested sequents for provability logic GLP”, Logic Journal of the IGPL, 2015, Volume 23, Issue 5, 789, 815 pp.

Logic Journal of the IGPL

RUS ENG

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

Logic Journal of the IGPL, 2015, Volume 23, Issue 5, 789, 815 pp.
DOI: https://doi.org/10.1093/jigpal/jzv029 (Mi ljour1)

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

Nested sequents for provability logic GLP

Daniyar Shamkanov

Steklov Mathematical Institute of Russian Academy of Sciences, Gubkina str. 8, 119991, Moscow, Russia

Full-text PDF Citations (5)

DOI: https://doi.org/10.1093/jigpal/jzv029

Funding agency	Grant number
Russian Science Foundation	14-50-00005
This work is supported by the Russian Science Foundation under grant (14-50-00005).

Received: 13.11.2014

Bibliographic databases:

Document Type: Article

Language: English

Linking options:

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

This publication is cited in the following 5 articles:

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

Statistics & downloads:
Abstract page:	182