TY  - RPRT
TI  - A Many-Sorted Variant of Japaridze's Polymodal Provability Logic
AU  - Gerald Berger
AU  - Lev D. Beklemishev
AU  - Hans Tompits
PY  - 2019
DO  - 10.1093/jigpal/jzy012
UR  - https://arxiv.org/abs/1601.02857
ID  - 1601.02857
ER  -