\begin{frame}
  \frametitle{Truth in Kripke Modeles}

  \begin{exampleblock}{}
    \exampleA
    
    \begin{itemize}
      \item $\mathcal{M} \mpause[1]{\models} p \to \some q$
        \pause\pause
      \item $\mathcal{M} \mpause[1]{\models} \some r \to \some q$
        \pause\pause
      \item $\mathcal{M} \mpause[1]{\not\models} \all q \to r$
        \pause\pause
      \item $\mathcal{M} \mpause[1]{\models} p \to (q\to p)$ \mpause[4]{$^{\hint{$\star$}}$}
        \pause\pause
      \item $\mathcal{M} \mpause[1]{\models} q \to \all p$
    \end{itemize}
    \mpause[2]{$^{\hint{$\star$}}$ \hint{all propositional tautologies also hold modal!}}
  \end{exampleblock}


\end{frame}