arXiv 2013-05-26 EN On the complexity of the closed fragment of Japaridze's provability logic Pakhomov, Fedor
