TY  - RPRT
TI  - A cut-free proof system for a predicate extension of the logic of provability
AU  - Yoshihito Tanaka
PY  - 2018
DO  - 10.4467/20842589rm.18.006.8839
UR  - https://arxiv.org/abs/1802.10261
ID  - 1802.10261
ER  -