From 65744f327c219e59fe657624194bf0879d1d322f Mon Sep 17 00:00:00 2001 From: prime235711 Date: Fri, 17 Jul 2026 19:09:05 +0900 Subject: [PATCH] Fixed typo to Figure 5.2 in euclidean-filtrations.tex --- content/normal-modal-logic/filtrations/euclidean-filtrations.tex | 1 + 1 file changed, 1 insertion(+) 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}$},