|
Rev. Symb. Log., 2020, Pages 1–29
(Mi rsc2)
|
|
|
|
Non-well-founded proofs for the Grzegorczyk modal logic
Yury Savateev, Daniyar Shamkanov Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
DOI:
https://doi.org/10.1017/S1755020319000510
Language:
Linking options:
http://mi.mathnet.ru/eng/rsc2
Citing articles on Google Scholar:
Russian citations,
English citations
Related articles on Google Scholar:
Russian articles,
English articles
|
Number of views: |
This page: | 3 |
|