Kamide, N. “Extended Full Computation-Tree Logics for Paraconsistent Model Checking”. Logic and Logical Philosophy, vol. 15, no. 3, Mar. 2007, pp. 251-76, doi:10.12775/LLP.2006.015.