Geodesic
Bisimulation games and locally tabular logics
Trudy Matematicheskogo Instituta imeni V.A. Steklova, Tome 71 (2016) no. 5, pp. 979-981 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

@article{RM_2016_71_5_a7,
     author = {V. B. Shehtman},
     title = {Bisimulation games and locally tabular logics},
     journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
     pages = {979--981},
     year = {2016},
     volume = {71},
     number = {5},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/RM_2016_71_5_a7/}
}
TY  - JOUR
AU  - V. B. Shehtman
TI  - Bisimulation games and locally tabular logics
JO  - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY  - 2016
SP  - 979
EP  - 981
VL  - 71
IS  - 5
UR  - http://geodesic.mathdoc.fr/item/RM_2016_71_5_a7/
LA  - en
ID  - RM_2016_71_5_a7
ER  - 
%0 Journal Article
%A V. B. Shehtman
%T Bisimulation games and locally tabular logics
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 2016
%P 979-981
%V 71
%N 5
%U http://geodesic.mathdoc.fr/item/RM_2016_71_5_a7/
%G en
%F RM_2016_71_5_a7
V. B. Shehtman. Bisimulation games and locally tabular logics. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Tome 71 (2016) no. 5, pp. 979-981. http://geodesic.mathdoc.fr/item/RM_2016_71_5_a7/

[1] A. V. Chagrov, V. B. Shehtman, Computer science logic (Kazimierz, 1994), Lecture Notes in Comput. Sci., 933, Springer, Berlin, 1995, 442–455 | DOI | MR | Zbl

[2] A. Chagrov, M. Zakharyaschev, Modal logic, Oxford Logic Guides, 35, The Clarendon Press, Oxford Univ. Press, New York, 1997, xvi+605 pp. | MR | Zbl

[3] V. Goranko, M. Otto, Handbook of modal logic, Stud. Log. Pract. Reason., 3, Elsevier, Amsterdam, 2007, 249–329 | DOI | Zbl

[4] K. Segerberg, An essay in classical modal logic, v. 1, 2, 3, Filosofiska Studier, 13, Uppsala Univ., Uppsala, 1971, v+250 pp. | MR | Zbl

[5] V. Shehtman, Advances in modal logic, 10, College Publications, London, 2014, 498–512 | MR