Ein Kripke Modell \(KM\) ist ein spezielles Transistionssystem. Die Knoten eines Kripke Modells heißen mögliche Welten. Die Menge der durch ein Label \(\alpha\) gelabelten Kanten heißt Zugänglichkeitsrelation (\(\alpha\)). Die Menge der durch eine Label \(\beta\) gelabelten möglichen Welten (Knoten) heißt Valuation (\(\beta\)). \cite{Gasquet_2014}
\cite{Gasquet_2014}