@INPROCEEDINGS{Hei94,
  author = {Heinemann, Bernhard},
  title = {On Expressive Completeness of Modal Logic},
  booktitle = {Logical Foundations of Computer Science, LFCS'94},
  year = {1994},
  editor = {Nerode, A. and Matiyasevich, Yu. V.},
  volume = {813},
  series = LNCS,
  pages = {153--163},
  publisher = {Springer},
  keywords = {thi1}
}

{"_id":"bmkGSBAmwPPiWWi9Y","bibbaseid":"heinemann-onexpressivecompletenessofmodallogic-1994","authorIDs":[],"author_short":["Heinemann, B."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Heinemann"],"firstnames":["Bernhard"],"suffixes":[]}],"title":"On Expressive Completeness of Modal Logic","booktitle":"Logical Foundations of Computer Science, LFCS'94","year":"1994","editor":[{"propositions":[],"lastnames":["Nerode"],"firstnames":["A."],"suffixes":[]},{"propositions":[],"lastnames":["Matiyasevich"],"firstnames":["Yu.","V."],"suffixes":[]}],"volume":"813","pages":"153–163","publisher":"Springer","keywords":"thi1","bibtex":"@INPROCEEDINGS{Hei94,\r\n author = {Heinemann, Bernhard},\r\n title = {On Expressive Completeness of Modal Logic},\r\n booktitle = {Logical Foundations of Computer Science, LFCS'94},\r\n year = {1994},\r\n editor = {Nerode, A. and Matiyasevich, Yu. V.},\r\n volume = {813},\r\n series = LNCS,\r\n pages = {153--163},\r\n publisher = {Springer},\r\n keywords = {thi1}\r\n}\r\n\r\n","author_short":["Heinemann, B."],"editor_short":["Nerode, A.","Matiyasevich, Y. V."],"key":"Hei94","id":"Hei94","bibbaseid":"heinemann-onexpressivecompletenessofmodallogic-1994","role":"author","urls":{},"keyword":["thi1"],"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-11T13:29:35.236Z","downloads":0,"keywords":["thi1"],"search_terms":["expressive","completeness","modal","logic","heinemann"],"title":"On Expressive Completeness of Modal Logic","year":1994,"dataSources":["t7rKiAbxugj4Agz8M"]}