@article{SEMR_2013_10_a0,
     author = {S. A. Drobyshevich and S. P. Odintsov},
     title = {Finite model property for negative modalities},
     journal = {Sibirskie \`elektronnye matemati\v{c}eskie izvesti\^a},
     pages = {1--21},
     publisher = {mathdoc},
     volume = {10},
     year = {2013},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/SEMR_2013_10_a0/}
}