Kripke-Strukturen, Omega-Wörter

allgemein: Kripke-Struktur zu Variablenmenge V ist

hier speziell:

Beispiel:



Johannes Waldmann 2013-06-18