A van Benthem/Rosen Theorem for Coalgebraic Predicate Logic

Schröder L, Litak T, Pattinson D (2015)

Publication Type: Journal article, Original article

Publication year: 2015

Journal

Journal of Logic and Computation Oxford University Press (OUP): Policy A - Oxford Open Option A

Pages Range: -

Journal Issue: advance access

URI: http://www8.cs.fau.de/_media/research:papers:cpl-benthem-rosen.pdf

DOI: 10.1093/logcom/exv043

Authors with CRIS profile

Lutz Schröder Lehrstuhl für Informatik 8 (Theoretische Informatik) Tadeusz Litak Lehrstuhl für Informatik 8 (Theoretische Informatik)

Related research project(s)

Coalgebra-based generic decision procedures and complexity bounds for modal and hybrid logics (GenMod) May 1, 2008 - Sept. 30, 2016 Probabilistische Beschreibungslogik als Fragment der Probabilistischen Logik Erster Stufe (ProbDL) April 1, 2011 - April 1, 2014

Involved external institutions

Australian National University (ANU) AU Australia (AU)

How to cite

APA:

Schröder, L., Litak, T., & 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 Litak, and Dirk Pattinson. "A van Benthem/Rosen Theorem for Coalgebraic Predicate Logic." Journal of Logic and Computation advance access (2015): -.

BibTeX: Download