1. Smorynski C. Beth's theorem and self-referential sentences. In: Macintyre et al. eds. Logic Colloquium '77, North Holland, Amsterdam, 1978.
2. Boolos G. On systems of modal logic with provability interpretations. Theoria, 1980, v. 46, No.l, pp. 7–18.
3. Beklemishev L.D. A provability logic without Craig's interpolation property. Mat. Zametki, 1989, v.45, No.6, pp. 12–22. (In Russian. English translation in Math. Notes, 1989, v.45.)
4. Beklemishev L.D. On the classification of propositional provability logics. Izvestiya Akademii Nauk SSSR, ser. mat., 1989, v.53, No.5, p.915–943. (In Russian. English translation in Math. USSR Izvestiya, 1990, v.35, No.2, pp.247–275.)
5. Guaspari D., Solovay R. Rosser's sentences. Annals of Mathematical Logic, 1979, v. 16, pp. 81–99.