%0 Journal Article %1 journals/jsyml/GabbayS93 %A Gabbay, Dov M. %A Shehtman, Valentin B. %D 1993 %J J. Symb. Log. %K dblp %N 3 %P 800-823 %T Undedidability of Modal and Intermediate First-Order Logics with Two Individual Variables. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml58.html#GabbayS93 %V 58

@article{journals/jsyml/GabbayS93, added-at = {2014-08-05T00:00:00.000+0200}, author = {Gabbay, Dov M. and Shehtman, Valentin B.}, biburl = {https://www.bibsonomy.org/bibtex/2442b4eb7c5311e04aadd14a1fe595c0d/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1183744299}, interhash = {5ba61f0032cb61e5f80b33aa87849a8d}, intrahash = {442b4eb7c5311e04aadd14a1fe595c0d}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 3, pages = {800-823}, timestamp = {2015-06-18T02:35:12.000+0200}, title = {Undedidability of Modal and Intermediate First-Order Logics with Two Individual Variables.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml58.html#GabbayS93}, volume = 58, year = 1993 }