TY  - RPRT
TI  - Weak Completeness of Coalgebraic Dynamic Logics
AU  - Helle Hvid Hansen
AU  - Clemens Kupke
PY  - 2015
DO  - 10.4204/eptcs.191.9
UR  - https://arxiv.org/abs/1509.03017
ID  - 1509.03017
ER  -