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

  \begin{goal}{}
    The main subjects of this course are:
    \begin{itemize}
      \item propositional logic
        \begin{itemize}
          \item syntax
          \item semantic
          \item natural deduction
        \end{itemize}
      \item (first-order) predicate logic
        \begin{itemize}
          \item syntax
          \item semantic
          \item natural deduction
        \end{itemize}
      \item modal logic
        \begin{itemize}
          \item frames and validity on frames
          \item correspondence between formulas and frame properties
        \end{itemize}
      \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}