TY  - JOUR
AU  - S. N. Artemov
TI  - On~modal logics axiomatizing provability
JO  - Izvestiya. Mathematics 
PY  - 1986
SP  - 401
EP  - 429
VL  - 27
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IM2_1986_27_3_a0/
LA  - en
ID  - IM2_1986_27_3_a0
ER  -