@inproceedings{c6eec0c82b094349a0134a0e451c6db0,
title = "Weak completeness of coalgebraic dynamic logics",
author = "C Kupke and HH Hansen",
year = "2015",
doi = "10.4204/EPTCS.191.9",
language = "English",
publisher = "Cornell University Library",
pages = "1--15",
editor = "R Matthes and M Mio",
booktitle = "Proceedings of the 10th international workshop on fixed points in computer science",
note = "10th international workshop on fixed points in computer science, Berlin, Germany ; Conference date: 11-09-2015 Through 12-09-2015",
}