TY  - RPRT
TI  - Nested Sequents for Provability Logic GLP
AU  - Daniyar Shamkanov
PY  - 2014
DO  - 10.1093/jigpal/jzv029
UR  - https://arxiv.org/abs/1410.6652
ID  - 1410.6652
ER  -