A van Benthem/Rosen Theorem for Coalgebraic Predicate Logic (bibtex)
by Lutz Schröder, Dirk Pattinson, Tadeusz Litak
Reference:
A van Benthem/Rosen Theorem for Coalgebraic Predicate Logic (Lutz Schröder, Dirk Pattinson, Tadeusz Litak), In J. Log. Comput., vol. 27(3), pp. 749–773, 2017. [preprint]
Bibtex Entry:
@article{SchroderEA15,
  title = {A van {B}enthem/{R}osen Theorem for Coalgebraic Predicate Logic},
  author = {Lutz Schr\"oder and Dirk Pattinson and Tadeusz Litak},
  journal = {J. Log. Comput.},
  volume    = {27},
  number    = {3},
  pages     = {749--773},
  comment = {<a href="http://www8.cs.fau.de/_media/research:papers:cpl-benthem-rosen.pdf">[preprint]</a>},
  url = {https://doi.org/10.1093/logcom/exv043},
  year = {2017},
  }
Powered by bibtexbrowser