1. Bolc, L., Borowik, P.: Many-Valued Logics. Springer, Heidelberg (1992)
2. Lecture Notes in Computer Science;G. Bruns,2000
3. Bruns, G., Godefroid, P.: Temporal Logic Query Checking. In: Proc. of LICS 2001, pp. 409–417. IEEE, Los Alamitos (2001)
4. Lecture Notes in Computer Science;G. Bruns,1999
5. Bruns, G., Godefroid, P.: Model checking with multi-valued logics. Technical Report BL03.00018, Bell Labs, Lucent Technologies (May 2003)