Title: Multi-Valued Reasoning about Reactive Systems