\begin{frame}
  \frametitle{Rough Course Content}

  \begin{goal}{}
    The main subjects of this course are:
    \begin{itemize}
      \item propositional logic\\
        (syntax, semantic, natural deduction)
        \medskip
      \item (first-order) predicate logic\\
        (syntax, semantic, natural deduction)
        \medskip
      \item modal logic
        \begin{itemize}
          \item frames and validity on frames
          \item correspondence between formulas and frame properties
        \end{itemize}
        \medskip
      \item important concepts are:
        \begin{itemize}
          \item (in)completeness, correctness, consistency
          \item (un)definability
          \item (un)decidability
        \end{itemize}
    \end{itemize}
  \end{goal}  
\end{frame}