A van Benthem/Rosen Theorem for Coalgebraic Predicate Logic (bibtex)

by Lutz Schröder, Dirk Pattinson and Tadeusz Litak

Reference:

Lutz Schröder, Dirk Pattinson and Tadeusz Litak: A van Benthem/Rosen Theorem for Coalgebraic Predicate Logic, In Journal of Logic and Computation, 27(3), pp. 749–773, 2017. [preprint]

Bibtex Entry:

@article{SchroderPL17,
  title = {A van {B}enthem/{R}osen Theorem for Coalgebraic Predicate Logic},
  author = {Lutz Schr\"oder and Dirk Pattinson and Tadeusz Litak},
  journal = {Journal of Logic and Computation},
  volume    = {27},
  number    = {3},
  pages     = {749--773},
  comment = {<a href="http://www8.cs.fau.de/ext/papers/cpl-benthem-rosen.pdf">[preprint]</a>},
  url = {https://doi.org/10.1093/logcom/exv043},
  year = {2017},
  }