Geodesic
Modal logics of $\alpha$-spaces
Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 5 (2005) no. 1, pp. 40-63 
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/
@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},
     year = {2005},
     volume = {5},
     number = {1},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VNGU_2005_5_1_a4/}
}
TY  - JOUR
AU  - V. F. Murzina
TI  - Modal logics of $\alpha$-spaces
JO  - Sibirskij žurnal čistoj i prikladnoj matematiki
PY  - 2005
SP  - 40
EP  - 63
VL  - 5
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/VNGU_2005_5_1_a4/
LA  - ru
ID  - VNGU_2005_5_1_a4
ER  - 
%0 Journal Article
%A V. F. Murzina
%T Modal logics of $\alpha$-spaces
%J Sibirskij žurnal čistoj i prikladnoj matematiki
%D 2005
%P 40-63
%V 5
%N 1
%U http://geodesic.mathdoc.fr/item/VNGU_2005_5_1_a4/
%G ru
%F VNGU_2005_5_1_a4

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.

[1] Yu. L. Ershov, “Teoriya $A$-prostranstv”, Algebra i logika, 12:4 (1973), 369–418

[2] Yu. L. Ershov, Teoriya numeratsii, Nauka, M., 1977 | MR

[3] K. Kuratovskii, Topologiya, v. 1, Mir, M., 1966 | MR

[4] E. Raseva, R. Sikorskii, Matematika metamatematiki, Nauka, M., 1972 | MR

[5] R. Feis, Modalnaya logika, Nauka, M., 1974 | MR

[6] J. van Benthem, “Temporal Logic”, Handbook of Logic in Artificial Intelligence and Logic Programming, Oxford Science Publications, 4, Clarendon press, Oxford, 1995, 241–350 | MR

[7] Y. L. Ershov, “Theory of Domains and Nearby”, Intern. Conference Formal Methods in Programming and Their Applications (Novosibirsk, Russia), Lec. Not. in Comp. Sci., 735, Springer-Verlag, 1993, 1–7 | DOI | MR

[8] D. Gabbay, “Investigations in Modal and Tense Logics with Applications Problems in Philosophy and Linguistics”, Cloth. Dfi., 1976 | MR

[9] D. Scott, “Outline of “Mathematical Theory of Computation””, Fourth Annal Princeton Conf. Inform. Sci. and Systems (1970), 97–136 | Zbl

[10] K. Segerberg, An Essay in Classical Modal Logic, Filosofiska Studier, 13, Uppsala Universitet, 1971, 250 pp. | MR | Zbl