Coalgebraic Modal Logic for Dynamic Systems with Uncertainty