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