Algebra i logika, Tome 17 (1978) no. 2, pp. 210-219
Citer cet article
V. V. Rybakov. A decidable noncompact extension of the logic ${\rm S}4$. Algebra i logika, Tome 17 (1978) no. 2, pp. 210-219. http://geodesic.mathdoc.fr/item/AL_1978_17_2_a7/
@article{AL_1978_17_2_a7,
author = {V. V. Rybakov},
title = {A decidable noncompact extension of the logic ${\rm S}4$},
journal = {Algebra i logika},
pages = {210--219},
year = {1978},
volume = {17},
number = {2},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/AL_1978_17_2_a7/}
}
TY - JOUR
AU - V. V. Rybakov
TI - A decidable noncompact extension of the logic ${\rm S}4$
JO - Algebra i logika
PY - 1978
SP - 210
EP - 219
VL - 17
IS - 2
UR - http://geodesic.mathdoc.fr/item/AL_1978_17_2_a7/
LA - ru
ID - AL_1978_17_2_a7
ER -
%0 Journal Article
%A V. V. Rybakov
%T A decidable noncompact extension of the logic ${\rm S}4$
%J Algebra i logika
%D 1978
%P 210-219
%V 17
%N 2
%U http://geodesic.mathdoc.fr/item/AL_1978_17_2_a7/
%G ru
%F AL_1978_17_2_a7
