Changeset 12734 for trunk/GMP/papers/conditional/example.tex

Timestamp:

26.10.2009 18:25:29 (5 months ago)

Author:

hausmann

Message:

Typo in modal-CK rule. \neg B_1 -> \neg B_n

Files:

• trunk/GMP/papers/conditional/example.tex (modified) (1 diff)

trunk/GMP/papers/conditional/example.tex

@@ -271 +271 @@
     \hline
       \\[-5pt]
-      (\textsc {\textbf{CK}})\inferrule{A_0=A_1;\dots;A_n=A_0\\ \neg B_1,\dots,\neg B_1,B_0}
+      (\textsc {\textbf{CK}})\inferrule{A_0=A_1;\dots;A_n=A_0\\ \neg B_1,\dots,\neg B_n,B_0}
   {\Gamma, \neg(A_1\Rightarrow B_1),\dots,\neg(A_n\Rightarrow B_n),(A_0\Rightarrow B_0)}\\[-5pt]
       \\