Commit f60b52c3 authored by Ulrich Rabenstein's avatar Ulrich Rabenstein

baut jetzt auch

parent 870458b6
......@@ -13,7 +13,7 @@
\usepackage[utf8]{inputenc}
\renewcommand{\baselinestretch}{.99}
\title{Double-Negation Translation of Intuitionistic Modal Logics in Coq}
\title[DNegMod]{Double-Negation Translation of Intuitionistic Modal Logics in Coq}
\author{Miriam Polzer \& Ulrich Rabenstein}
\begin{document}
......@@ -40,7 +40,7 @@
\end{frame}
\begin{frame}
Motivation der translations (man braucht mehr als ¬¬) \\
Motivation der translations (man braucht mehr als dneg) \\
kol, ggr, kur (triangle) and dneg-closed \\
def von adequatness (als Ziel) \\
äquivalenz von adeq. (mit Bild?)
......@@ -48,7 +48,7 @@
\begin{frame}
Ulrich: \\
adequate_eq_ggr
adequate eq ggr
\end{frame}
\begin{frame}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment