Definition 4 (Kripke Model):
Ein Kripke Modell ist ein spezieller gelabelter Digraph. Die Knoten 
\cite{Gasquet_2014}