TY  - JOUR
AU  - V. V. Rybakov
TI  - Admissibility of rules of inference, and logical equations, in modal logics axiomatizing provability
JO  - Izvestiya. Mathematics 
PY  - 1991
SP  - 369
EP  - 390
VL  - 36
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IM2_1991_36_2_a7/
LA  - en
ID  - IM2_1991_36_2_a7
ER  -