Yury Savateev, Daniyar Shamkanov, “Non-well-founded proofs for the Grzegorczyk modal logic”, Rev. Symb. Log., 2021, Volume 14, Issue 1,Pages <nobr>22–50</nobr>

RUS ENG

JOURNALS // Review of Symbolic Logic // Archive

Rev. Symb. Log., 2021, Volume 14, Issue 1, Pages 22–50 (Mi rsc2)

This article is cited 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

Language: English

DOI: 10.1017/S1755020319000510

Cited by

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2025