| Review of Symbolic Logic |
|
|
|
|
|
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  Bibliographic databases:  
Language: Linking options:
Citing articles on Google Scholar: Russian citations, English citations Related articles on Google Scholar: Russian articles, English articles |
|
||||||||||||||||||||||||||||||||||||||||
|
|
Contact us: |
 Terms of Use
|
Registration to the website |
Logotypes |
|