A van Benthem/Rosen Theorem for Coalgebraic Predicate Logic

Journal article
(Original article)


Publication Details

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


FAU Authors / FAU Editors

Litak, Tadeusz Michal, Ph.D.
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Schröder, Lutz Prof. Dr.
Lehrstuhl für Informatik 8 (Theoretische Informatik)


External institutions with authors

Australian National University (ANU)


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: 

Last updated on 2018-10-08 at 05:58