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