Modal logics of $\alpha$-spaces
Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 5 (2005) no. 1, pp. 40-63
Voir la notice de l'article provenant de la source Math-Net.Ru
Polymodal logics based on $\alpha$-spaces are considered. Polymodal calculi are introduced which are correct with respect to $\alpha$-frames. We prove that these calculi have the finite model property.
@article{VNGU_2005_5_1_a4,
author = {V. F. Murzina},
title = {Modal logics of $\alpha$-spaces},
journal = {Sibirskij \v{z}urnal \v{c}istoj i prikladnoj matematiki},
pages = {40--63},
publisher = {mathdoc},
volume = {5},
number = {1},
year = {2005},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/VNGU_2005_5_1_a4/}
}
V. F. Murzina. Modal logics of $\alpha$-spaces. Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 5 (2005) no. 1, pp. 40-63. http://geodesic.mathdoc.fr/item/VNGU_2005_5_1_a4/