Nonarithmeticity of truth predicate logics of provability
S. N. Artemov

This publication is cited in the following articles:

1. S. N. Artemov, “Kolmogorov and Gödel's approach to intuitionistic logic: current developments”, Russian Math. Surveys, 59:2 (2004), 203–229                
2. R. È. Yavorskii, “On Prenex Fragment of Provability Logic with Quantifiers on Proofs”, Proc. Steklov Inst. Math., 242 (2003), 112–124      
3. S. N. Artemov, T. Yavorskaya, “On first order logic of proofs”, Mosc. Math. J., 1:4 (2001), 475–490