\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}