91/158
\begin{frame}
  \frametitle{Truth in Kripke Modeles}

  \begin{goal}{Definition of Truth in Kripke Models}
    The formula $\phi$ is true in Kripke model $\mathcal{M} = (W, R, L)$, denoted
    \begin{align*}
      \mathcal{M}\models \phi\;,
    \end{align*}
    if and only if \aemph{for every world} $x \in W$ holds $x \fc \phi$.
  \end{goal}
  \smallskip
  \pause
  
  \begin{exampleblock}{}
    \exampleA
    
    For example,
    \begin{talign}
      \mathcal{M}  &\mpause[1]{\not\models}  q &
      \mpause{\mathcal{M}  &\mpause{\models}  p \vee q} &
      \mpause{\mathcal{M}  &\mpause{\models}  q \vee \some q}
    \end{talign}
  \end{exampleblock}
\end{frame}