Abstract

The main purpose of this work is to introduce the class of the monadic dynamic algebras. Similarly to a theorem of Kozen we establish that every separable monadic dynamic algebra is isomorphic to a monadic Kripke structure. We also classify the simple dynamic algebras. Moreover, in the dynamic duality theory, we analyze the conditions under which a hemimorphism of a dynamic algebra into itself defines a quantifier.