Daniyar Shamkanov, “On structural proof theory of the modal logic $K^+$ extended with infinitary derivations”, Logic Journal of the IGPL, 2024, Volume 33, Issue 3, jzae121

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, 2024, Volume 33, Issue 3, jzae121
DOI: https://doi.org/10.1093/jigpal/jzae121

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

On structural proof theory of the modal logic $K^+$ extended with infinitary derivations

Daniyar Shamkanov

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

Full-text PDF Citations (3)

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

Funding agency	Grant number
Ministry of Science and Higher Education of the Russian Federation	075-15-2022-265
This work was performed at the Steklov International Mathematical Center and supported by the Ministry of Science and Higher Education of the Russian Federation (agreement no. 075-15-2022-265).

Received: 13.10.2023
Revised: 30.09.2024
Accepted: 04.10.2024

Bibliographic databases:

Document Type: Article

Language: English

Linking options:

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

This publication is cited in the following 3 articles:

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

Statistics & downloads:
Abstract page:	129