Decision Stability Logic