Daniyar Shamkanov

Daniyar Shamkanov

Steklov Mathematical Institute Russian Academy of Sciences - Moscow / Russia
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 4622057
Математический институт имени В. А. Стеклова Российской академии наук
person_outline Daniyar Shamkanov's MOST POPULAR ARTICLES
1-) Circular proofs for the Gödel-Löb provability logicDS ShamkanovMathematical Notes 96 (3), 575-585, 2014402014
2-) Non-well-founded proofs for the Grzegorczyk modal logicY Savateev, D ShamkanovThe Review of Symbolic Logic 14 (1), 22-50, 2021162021
3-) Interpolation properties for provability logics GL and GLPDS ShamkanovProceedings of the Steklov Institute of Mathematics 274 (1), 303-316, 2011132011
4-) Nested sequents for provability logic GLPD ShamkanovLogic Journal of the IGPL 23 (5), 789-815, 2015102015
5-) A realization theorem for the Gödel-Löb provability logicDS ShamkanovSbornik: Mathematics 207 (9), 1344, 201692016