Repository navigation

Commit e5489df

authored and

committed

Fixed typo to Figure 5.2 in euclidean-filtrations.tex

1 parent 9f4b0b3 commit e5489dfCopy full SHA for e5489df

1 file changed

content/normal-modal-logic/filtrations
- euclidean-filtrations.tex

`‎content/normal-modal-logic/filtrations/euclidean-filtrations.tex‎`

-Original file line number
+Diff line change
             label = {below: $\mSat{{}}{\Box p}$},
             right=of w1] {$w_2$};
     \draw[->] (w1) to (w2);
 +    \draw[reflexive above] (w2) to (w2);
     \node[world] (w3)
           [label={left: \mFalse{p}},
             label={below: $\mSat{{}}{\Box p}$},

Comments

(0)