 |
|
|
|
|
|
Nested sequents for provability logic GLP Daniyar Shamkanov Steklov Mathematical Institute of Russian Academy of Sciences, Gubkina str. 8, 119991, Moscow, Russia
DOI: https://doi.org/10.1093/jigpal/jzv029  Bibliographic databases:     Document Type: Article Received: 13.11.2014 Language: English 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 |
Logotypes |
|