-
Sergei Artemov, International Mathematical Series, 5, Mathematical Problems from Applied Logic II, 2007,
1 
-
Sergei Artemov, Studies in Logic and Practical Reasoning, 3, Handbook of Modal Logic, 2007,
927 -
Beklemishev L.D., Joosten J.J., Vervoort M., “A finitary treatment of the closed fragment of Japaridze's provability logic”, J. Logic Comput., 15:4 (2005),
447–463 
