TY  - RPRT
TI  - Model Theory and Proof Theory of Coalgebraic Predicate Logic
AU  - Tadeusz Litak
AU  - Dirk Pattinson
AU  - Katsuhiko Sano
AU  - Lutz Schröder
PY  - 2018
DO  - 10.23638/lmcs-14(1:22)2018
UR  - https://arxiv.org/abs/1701.03773
ID  - 1701.03773
ER  -