An Algebraic Approach to Multi-Valued Model Checking

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.