3/158
\begin{frame}
  \frametitle{Modal Logic}

  In propositional logic and predicate logic,
  the \emph{world is static}.
  \pause
  \bigskip
  
  \begin{goal}{}
    \emph{Modal Logic} allows to reason about \emph{dynamics}:
    \begin{itemize}
      \medskip
      \item possible futures,
      \medskip
      \item knowledge and beliefs,
      \medskip
      \item different locations/worlds (with different properties),
      \medskip
      \item \ldots
      \medskip
    \end{itemize}
  \end{goal}
\end{frame}