@TECHREPORT{Hei92,
  author = {Heinemann, Bernhard},
  title = {A Note on Expressive Completeness of Modal Logic},
  institution = {Fernuniversit{\"a}t},
  year = {1992},
  type = {Informatik Berichte},
  number = {138},
  address = {Hagen},
  month = dec,
  keywords = {thi1}
}

{"_id":"MCK8Qiszrdd9oN4v4","bibbaseid":"heinemann-anoteonexpressivecompletenessofmodallogic-1992","authorIDs":[],"author_short":["Heinemann, B."],"bibdata":{"bibtype":"techreport","type":"Informatik Berichte","author":[{"propositions":[],"lastnames":["Heinemann"],"firstnames":["Bernhard"],"suffixes":[]}],"title":"A Note on Expressive Completeness of Modal Logic","institution":"Fernuniversität","year":"1992","number":"138","address":"Hagen","month":"December","keywords":"thi1","bibtex":"@TECHREPORT{Hei92,\r\n author = {Heinemann, Bernhard},\r\n title = {A Note on Expressive Completeness of Modal Logic},\r\n institution = {Fernuniversit{\\\"a}t},\r\n year = {1992},\r\n type = {Informatik Berichte},\r\n number = {138},\r\n address = {Hagen},\r\n month = dec,\r\n keywords = {thi1}\r\n}\r\n\r\n","author_short":["Heinemann, B."],"key":"Hei92","id":"Hei92","bibbaseid":"heinemann-anoteonexpressivecompletenessofmodallogic-1992","role":"author","urls":{},"keyword":["thi1"],"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"techreport","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-11T13:29:35.274Z","downloads":0,"keywords":["thi1"],"search_terms":["note","expressive","completeness","modal","logic","heinemann"],"title":"A Note on Expressive Completeness of Modal Logic","year":1992,"dataSources":["t7rKiAbxugj4Agz8M"]}