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