Modales Mu-Kalkül

Eine Fixpunkt-Erweiterung der modalen Logik, die kleinste (μ) und größ­te (ν) Fixpunktoperatoren hinzufügt, um induktive und coinduktive Eigenschaften von Transitionssystemen auszudrücken und rekursive Verhaltensweisen sowie reguläre Pfadeigenschaften zu spezifizieren.