An Algebraic Approach to Multi-Valued Model Checking
Jinzhao Wu, Lin Feng Zhao · Proceedings · 2007
In this abstract, we consider the multi-valued model checking process from an algebra point of view. We propose a general polynomial form of multi-valued logics, and then present a framework to apply Wu's method (1986) to multi-valued model checking based on the algebraic representations of mv-Kripke structures as well as mv-CTL formulas.