TY  - JOUR
AU  - Daniyar S. Shamkanov
TI  - Interpolation properties for provability logics $\mathbf{GL}$ and $\mathbf{GLP}$
JO  - Informatics and Automation
PY  - 2011
SP  - 329
EP  - 342
VL  - 274
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TRSPY_2011_274_a18/
LA  - ru
ID  - TRSPY_2011_274_a18
ER  -