Journal article
(Original article)


A van Benthem/Rosen Theorem for Coalgebraic Predicate Logic


Publication Details
Author(s): Schröder L, Litak TM, Pattinson D
Publication year: 2015
Journal issue: advance access
Pages range: -
ISSN: 0955-792X



How to cite
APA: Schröder, L., Litak, T.M., & Pattinson, D. (2015). A van Benthem/Rosen Theorem for Coalgebraic Predicate Logic. Journal of Logic and Computation, advance access, -. https://dx.doi.org/10.1093/logcom/exv043

MLA: Schröder, Lutz, Tadeusz Michal Litak, and Dirk Pattinson. "A van Benthem/Rosen Theorem for Coalgebraic Predicate Logic." Journal of Logic and Computation advance access (2015): -.

BibTeX: Download
Share link
Last updated on 2017-09-24 at 03:23
PDF downloaded successfully