%0 Journal Article %1 journals/corr/abs-1911-09473 %A Rybakov, Mikhail N. %A Shkatov, Dmitry %D 2019 %J CoRR %K dblp %T Recursive enumerability and elementary frame definability in predicate modal logic. %U http://dblp.uni-trier.de/db/journals/corr/corr1911.html#abs-1911-09473 %V abs/1911.09473

@article{journals/corr/abs-1911-09473, added-at = {2024-05-07T00:00:00.000+0200}, author = {Rybakov, Mikhail N. and Shkatov, Dmitry}, biburl = {https://www.bibsonomy.org/bibtex/2a80d92a1977a7f195a8a24872affb486/dblp}, ee = {http://arxiv.org/abs/1911.09473}, interhash = {a2346d761060afef69d6fb10b80a09d9}, intrahash = {a80d92a1977a7f195a8a24872affb486}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-05-13T07:33:48.000+0200}, title = {Recursive enumerability and elementary frame definability in predicate modal logic.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1911.html#abs-1911-09473}, volume = {abs/1911.09473}, year = 2019 }