%0 Journal Article %1 journals/logcom/RybakovS20 %A Rybakov, Mikhail N. %A Shkatov, Dmitry %D 2020 %J J. Log. Comput. %K dblp %N 2 %P 549-560 %T Recursive enumerability and elementary frame definability in predicate modal logic. %U http://dblp.uni-trier.de/db/journals/logcom/logcom30.html#RybakovS20 %V 30

@article{journals/logcom/RybakovS20, added-at = {2020-12-29T00:00:00.000+0100}, author = {Rybakov, Mikhail N. and Shkatov, Dmitry}, biburl = {https://www.bibsonomy.org/bibtex/251acdf6497fa2f6dbb8c5294e5d8fea4/dblp}, ee = {https://doi.org/10.1093/logcom/exz028}, interhash = {74edeedec915e3a197074a750187dd04}, intrahash = {51acdf6497fa2f6dbb8c5294e5d8fea4}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 2, pages = {549-560}, timestamp = {2024-04-09T05:12:31.000+0200}, title = {Recursive enumerability and elementary frame definability in predicate modal logic.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom30.html#RybakovS20}, volume = 30, year = 2020 }