On Expressive Completeness of Modal Logic. Heinemann, B. In Nerode, A. & Matiyasevich, Y. V., editors, Logical Foundations of Computer Science, LFCS'94, volume 813, pages 153–163, 1994. Springer. bibtex @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}
}
Downloads: 0
{"_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"]}