Kamide, N. 2007. Extended full computation-tree logics for paraconsistent model checking. Logic and Logical Philosophy. 15, 3 (Mar. 2007), 251–276. DOI:https://doi.org/10.12775/LLP.2006.015.