A Note on Expressive Completeness of Modal Logic. Heinemann, B. Technical Report 138, Fernuniversität, Hagen, December, 1992. bibtex @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}
}
Downloads: 0
{"_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"],"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"]}