TY - JOUR AU - V. V. Rybakov TI - Hereditarily finitely axiomatizable extensions of the logic S4 JO - Algebra i logika PY - 1976 SP - 185 EP - 204 VL - 15 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_1976_15_2_a3/ LA - ru ID - AL_1976_15_2_a3 ER -