1. J. G. Anderson [1975], Superconstructive propositional calculi with extra axiom schemes containing one variable, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 18 (1972), pp. 113?130.
2. S. N. Artemov [1986], Superintuitonistic logics having provability interpretation, Soviet Mathematics Doklady 291 (1986), pp. 1289?1291. (Russian)
3. S. N. Artemov [1987], On logical axiomatization of provabiity, VIII ICLMPS, Abstracts, Vol. 1, Moscow, 1987, pp. 7?10.
4. L. D. Beklemishev [1989], On classification of propositional provability logics, Izvestija of the USSR Academy of Sciences (mathematics), 53 (1989), pp. 915?943. (Russian)
5. W. J. Blok [1976], Varieties of interior algebras, Dissertation, University of Amsterdam, 1976.