1. Abashidze M (1985) On one adequate interpretation of provability logic. In: Intensional logics and the logical structure of theories, abstracts of the fourth Soviet-Finish colloquium, Tbilisi, pp 3–4 (Russian)
2. Abashidze M (1988) Ordinal completeness of the Gödel-Löb modal system. In: Intensional logics and the logical structure of theories (Telavi, 1985). Metsniereba, Tbilisi, pp 49–73 (Russian)
3. Artemov S (2001) Explicit provability and constructive semantics. Bull Symbol Logic 7(1):1–36
4. Artemov S, Beklemishev L (2005) Provability logic. In: Gabbay D, Guenthner F (eds) Handbook of philosophical logic, vol 13, 2nd edn. Springer, Dordrecht, pp 189–360
5. Beklemishev L, Gabelaia D (2014) Topological interpretations of provability logic (this volume)