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