1 problem

Let $\mathcal{DTL}^\ast$ be the dynamic topological logic with infinitary temporal modalities, and let $\mathsf L^\ast_{\Diamond f [f]\forall}$ be its monadic language with a unive…