Coalgebraic Modal Logic for Dynamic Systems with Uncertainty

Andrés Gallardo, Ignacio Viglizzo

In this paper we define a class of polynomial functors suited for constructing coalgebras representing processes in which uncertainty plays an important role. In these polynomial f…