diff --git a/content/normal-modal-logic/filtrations/euclidean-filtrations.tex b/content/normal-modal-logic/filtrations/euclidean-filtrations.tex index 162b2e26..324abc6d 100644 --- a/content/normal-modal-logic/filtrations/euclidean-filtrations.tex +++ b/content/normal-modal-logic/filtrations/euclidean-filtrations.tex @@ -33,6 +33,7 @@ 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}$},