1. Bimodal logics for extensions of arithmetical theories;BEKLEMISHEV;The Journal of Symbolic Logic,1996
2. Iterated local reflection vs. iterated consistency;BEKLEMISHEV;Annals of Pure and Applied Logic,1995
3. On interpretability of some extensions of arithmetic;GORYACHEV;Mat. Zametki,1986
4. Reflection principles and their use for establishing the complexity of axiomatic systems;KREISEL;Zeitschrift für Math. Logik und Grundlagen der Math.,1968