S. R. Robert, J. Myers, and .. Adámek-coalgebra, Stefan Milius, and Henning Urbat Towards Systematic Construction of Temporal Logics for Dynamical Systems via