Rostislav E. Yavorsky. On Arithmetical Completeness of First-Order Logics of Provability. In Frank Wolter, Heinrich Wansing, Maarten de Rijke, Michael Zakharyaschev, editors, Advances in Modal Logic 3, papers from the third conference on Advances in Modal logic, held in Leipzig (Germany) in October 2000. pages 1-16, World Scientific, 2000.
Abstract is missing.